{"action":"created","comment":{"url":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/comments/37632788","id":37632788,"diff_hunk":"@@ -295,6 +313,44 @@\n \n     </target>\n \n+    <target name=\"lang.docinfo.texi\">\n+\n+        <mkdir dir=\"${build.dir}/${lang}/info/\"/>\n+\n+        <java classname=\"com.icl.saxon.StyleSheet\" fork=\"true\" dir=\"${basedir}\" maxmemory=\"192m\">\n+            <classpath refid=\"lib.classpath\"/>\n+            <arg value=\"-o\"/>\n+            <arg value=\"${build.dir}/${lang}/info/ceylon-spec.texi\"/>\n+            <arg value=\"${basedir}/${lang}/master.xml\"/>\n+            <arg value=\"${basedir}/${lang}/styles/${db.style.info}\"/>\n+        </java>\n+\n+    </target>\n+\n+    <target name=\"lang.docinfo.make\" if=\"hasInfo\">\n+\n+        <exec executable=\"makeinfo\" dir=\"${build.dir}/${lang}/info/\">\n+            <arg value=\"ceylon-spec.texi\"/>\n+        </exec>\n+      \n+    </target>\n+\n+    <target name=\"lang.docinfo\"\n+            depends=\"lang.docinfo.texi,lang.docinfo.make\"\n+            description=\"Generates the Texinfo documentation only for a language (set lang)\"/>\n+\n+    <target name=\"lang.docinfo.install\"\n+            depends=\"lang.docinfo\"\n+            if=\"hasInfo\">\n+\n+        <exec executable=\"sudo\" dir=\"${build.dir}/${lang}/info/\">","path":"build.xml","position":80,"original_position":80,"commit_id":"cb6f9bb44b272bccbdf92d7d96e090f15ca4a8e4","original_commit_id":"cb6f9bb44b272bccbdf92d7d96e090f15ca4a8e4","user":{"login":"FroMage","id":179265,"avatar_url":"https://avatars.githubusercontent.com/u/179265?v=3","gravatar_id":"","url":"https://api.github.com/users/FroMage","html_url":"https://github.com/FroMage","followers_url":"https://api.github.com/users/FroMage/followers","following_url":"https://api.github.com/users/FroMage/following{/other_user}","gists_url":"https://api.github.com/users/FroMage/gists{/gist_id}","starred_url":"https://api.github.com/users/FroMage/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FroMage/subscriptions","organizations_url":"https://api.github.com/users/FroMage/orgs","repos_url":"https://api.github.com/users/FroMage/repos","events_url":"https://api.github.com/users/FroMage/events{/privacy}","received_events_url":"https://api.github.com/users/FroMage/received_events","type":"User","site_admin":false},"body":"You guys are not seriously considering running `sudo` in a build file, are you? That's a big veto from me.","created_at":"2015-08-21T13:21:18Z","updated_at":"2015-08-21T13:21:18Z","html_url":"https://github.com/ceylon/ceylon-spec/pull/1408#discussion_r37632788","pull_request_url":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/1408","_links":{"self":{"href":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/comments/37632788"},"html":{"href":"https://github.com/ceylon/ceylon-spec/pull/1408#discussion_r37632788"},"pull_request":{"href":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/1408"}}},"pull_request":{"url":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/1408","id":43031520,"html_url":"https://github.com/ceylon/ceylon-spec/pull/1408","diff_url":"https://github.com/ceylon/ceylon-spec/pull/1408.diff","patch_url":"https://github.com/ceylon/ceylon-spec/pull/1408.patch","issue_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1408","number":1408,"state":"closed","locked":false,"title":"Add Texinfo support","user":{"login":"lucaswerkmeister","id":2346599,"avatar_url":"https://avatars.githubusercontent.com/u/2346599?v=3","gravatar_id":"","url":"https://api.github.com/users/lucaswerkmeister","html_url":"https://github.com/lucaswerkmeister","followers_url":"https://api.github.com/users/lucaswerkmeister/followers","following_url":"https://api.github.com/users/lucaswerkmeister/following{/other_user}","gists_url":"https://api.github.com/users/lucaswerkmeister/gists{/gist_id}","starred_url":"https://api.github.com/users/lucaswerkmeister/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lucaswerkmeister/subscriptions","organizations_url":"https://api.github.com/users/lucaswerkmeister/orgs","repos_url":"https://api.github.com/users/lucaswerkmeister/repos","events_url":"https://api.github.com/users/lucaswerkmeister/events{/privacy}","received_events_url":"https://api.github.com/users/lucaswerkmeister/received_events","type":"User","site_admin":false},"body":"I wrote some XSLT stylesheets that transform the spec’s Docbook into Texinfo.\r\n\r\nTo test it, run:\r\n\r\n    ant -Dlang=en lang.docinfo.install\r\n\r\nand then you can view the specification with\r\n\r\n    info ceylon-spec\r\n\r\nor\r\n\r\n    emacs # open emacs\r\n    C-h i # open info directory\r\n    mCeylon # menu item Ceylon\r\n\r\nWe could also add Texinfo→HTML and Texinfo→PDF transformation, but that’s kinda pointless, since we already have those two formats, and the Texinfo version looks worse.\r\n\r\nNote: this pull request also contains the commit from #1407 (closes #1407), since it’s required for this to work (all nodes need to have IDs).","created_at":"2015-08-21T12:15:12Z","updated_at":"2015-08-21T13:21:18Z","closed_at":"2015-08-21T12:35:09Z","merged_at":"2015-08-21T12:35:09Z","merge_commit_sha":"725dc63a7aef361df1ca6ced57f8323c9f974e9f","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/1408/commits","review_comments_url":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/1408/comments","review_comment_url":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/comments{/number}","comments_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1408/comments","statuses_url":"https://api.github.com/repos/ceylon/ceylon-spec/statuses/cb6f9bb44b272bccbdf92d7d96e090f15ca4a8e4","head":{"label":"lucaswerkmeister:texinfo","ref":"texinfo","sha":"cb6f9bb44b272bccbdf92d7d96e090f15ca4a8e4","user":{"login":"lucaswerkmeister","id":2346599,"avatar_url":"https://avatars.githubusercontent.com/u/2346599?v=3","gravatar_id":"","url":"https://api.github.com/users/lucaswerkmeister","html_url":"https://github.com/lucaswerkmeister","followers_url":"https://api.github.com/users/lucaswerkmeister/followers","following_url":"https://api.github.com/users/lucaswerkmeister/following{/other_user}","gists_url":"https://api.github.com/users/lucaswerkmeister/gists{/gist_id}","starred_url":"https://api.github.com/users/lucaswerkmeister/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lucaswerkmeister/subscriptions","organizations_url":"https://api.github.com/users/lucaswerkmeister/orgs","repos_url":"https://api.github.com/users/lucaswerkmeister/repos","events_url":"https://api.github.com/users/lucaswerkmeister/events{/privacy}","received_events_url":"https://api.github.com/users/lucaswerkmeister/received_events","type":"User","site_admin":false},"repo":{"id":16002861,"name":"ceylon-spec","full_name":"lucaswerkmeister/ceylon-spec","owner":{"login":"lucaswerkmeister","id":2346599,"avatar_url":"https://avatars.githubusercontent.com/u/2346599?v=3","gravatar_id":"","url":"https://api.github.com/users/lucaswerkmeister","html_url":"https://github.com/lucaswerkmeister","followers_url":"https://api.github.com/users/lucaswerkmeister/followers","following_url":"https://api.github.com/users/lucaswerkmeister/following{/other_user}","gists_url":"https://api.github.com/users/lucaswerkmeister/gists{/gist_id}","starred_url":"https://api.github.com/users/lucaswerkmeister/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lucaswerkmeister/subscriptions","organizations_url":"https://api.github.com/users/lucaswerkmeister/orgs","repos_url":"https://api.github.com/users/lucaswerkmeister/repos","events_url":"https://api.github.com/users/lucaswerkmeister/events{/privacy}","received_events_url":"https://api.github.com/users/lucaswerkmeister/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/lucaswerkmeister/ceylon-spec","description":"Ceylon Language Specification and type analyzer","fork":true,"url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec","forks_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/forks","keys_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/keys{/key_id}","collaborators_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/teams","hooks_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/hooks","issue_events_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/issues/events{/number}","events_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/events","assignees_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/assignees{/user}","branches_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/branches{/branch}","tags_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/tags","blobs_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/git/refs{/sha}","trees_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/git/trees{/sha}","statuses_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/statuses/{sha}","languages_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/languages","stargazers_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/stargazers","contributors_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/contributors","subscribers_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/subscribers","subscription_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/subscription","commits_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/commits{/sha}","git_commits_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/git/commits{/sha}","comments_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/comments{/number}","issue_comment_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/issues/comments{/number}","contents_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/contents/{+path}","compare_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/compare/{base}...{head}","merges_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/merges","archive_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/downloads","issues_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/issues{/number}","pulls_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/pulls{/number}","milestones_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/milestones{/number}","notifications_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/labels{/name}","releases_url":"https://api.github.com/repos/lucaswerkmeister/ceylon-spec/releases{/id}","created_at":"2014-01-17T15:14:34Z","updated_at":"2014-06-30T21:47:41Z","pushed_at":"2015-08-21T12:52:25Z","git_url":"git://github.com/lucaswerkmeister/ceylon-spec.git","ssh_url":"git@github.com:lucaswerkmeister/ceylon-spec.git","clone_url":"https://github.com/lucaswerkmeister/ceylon-spec.git","svn_url":"https://github.com/lucaswerkmeister/ceylon-spec","homepage":"http://ceylon-lang.org","size":26717,"stargazers_count":0,"watchers_count":0,"language":"XSLT","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":true,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"ceylon:master","ref":"master","sha":"7001c9fa012c207fb358ef7ae501d632a02774d2","user":{"login":"ceylon","id":579261,"avatar_url":"https://avatars.githubusercontent.com/u/579261?v=3","gravatar_id":"","url":"https://api.github.com/users/ceylon","html_url":"https://github.com/ceylon","followers_url":"https://api.github.com/users/ceylon/followers","following_url":"https://api.github.com/users/ceylon/following{/other_user}","gists_url":"https://api.github.com/users/ceylon/gists{/gist_id}","starred_url":"https://api.github.com/users/ceylon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ceylon/subscriptions","organizations_url":"https://api.github.com/users/ceylon/orgs","repos_url":"https://api.github.com/users/ceylon/repos","events_url":"https://api.github.com/users/ceylon/events{/privacy}","received_events_url":"https://api.github.com/users/ceylon/received_events","type":"Organization","site_admin":false},"repo":{"id":1287727,"name":"ceylon-spec","full_name":"ceylon/ceylon-spec","owner":{"login":"ceylon","id":579261,"avatar_url":"https://avatars.githubusercontent.com/u/579261?v=3","gravatar_id":"","url":"https://api.github.com/users/ceylon","html_url":"https://github.com/ceylon","followers_url":"https://api.github.com/users/ceylon/followers","following_url":"https://api.github.com/users/ceylon/following{/other_user}","gists_url":"https://api.github.com/users/ceylon/gists{/gist_id}","starred_url":"https://api.github.com/users/ceylon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ceylon/subscriptions","organizations_url":"https://api.github.com/users/ceylon/orgs","repos_url":"https://api.github.com/users/ceylon/repos","events_url":"https://api.github.com/users/ceylon/events{/privacy}","received_events_url":"https://api.github.com/users/ceylon/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/ceylon/ceylon-spec","description":"Ceylon Language Specification and type analyzer","fork":false,"url":"https://api.github.com/repos/ceylon/ceylon-spec","forks_url":"https://api.github.com/repos/ceylon/ceylon-spec/forks","keys_url":"https://api.github.com/repos/ceylon/ceylon-spec/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ceylon/ceylon-spec/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ceylon/ceylon-spec/teams","hooks_url":"https://api.github.com/repos/ceylon/ceylon-spec/hooks","issue_events_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/events{/number}","events_url":"https://api.github.com/repos/ceylon/ceylon-spec/events","assignees_url":"https://api.github.com/repos/ceylon/ceylon-spec/assignees{/user}","branches_url":"https://api.github.com/repos/ceylon/ceylon-spec/branches{/branch}","tags_url":"https://api.github.com/repos/ceylon/ceylon-spec/tags","blobs_url":"https://api.github.com/repos/ceylon/ceylon-spec/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ceylon/ceylon-spec/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ceylon/ceylon-spec/git/refs{/sha}","trees_url":"https://api.github.com/repos/ceylon/ceylon-spec/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ceylon/ceylon-spec/statuses/{sha}","languages_url":"https://api.github.com/repos/ceylon/ceylon-spec/languages","stargazers_url":"https://api.github.com/repos/ceylon/ceylon-spec/stargazers","contributors_url":"https://api.github.com/repos/ceylon/ceylon-spec/contributors","subscribers_url":"https://api.github.com/repos/ceylon/ceylon-spec/subscribers","subscription_url":"https://api.github.com/repos/ceylon/ceylon-spec/subscription","commits_url":"https://api.github.com/repos/ceylon/ceylon-spec/commits{/sha}","git_commits_url":"https://api.github.com/repos/ceylon/ceylon-spec/git/commits{/sha}","comments_url":"https://api.github.com/repos/ceylon/ceylon-spec/comments{/number}","issue_comment_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/comments{/number}","contents_url":"https://api.github.com/repos/ceylon/ceylon-spec/contents/{+path}","compare_url":"https://api.github.com/repos/ceylon/ceylon-spec/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ceylon/ceylon-spec/merges","archive_url":"https://api.github.com/repos/ceylon/ceylon-spec/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ceylon/ceylon-spec/downloads","issues_url":"https://api.github.com/repos/ceylon/ceylon-spec/issues{/number}","pulls_url":"https://api.github.com/repos/ceylon/ceylon-spec/pulls{/number}","milestones_url":"https://api.github.com/repos/ceylon/ceylon-spec/milestones{/number}","notifications_url":"https://api.github.com/repos/ceylon/ceylon-spec/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ceylon/ceylon-spec/labels{/name}","releases_url":"https://api.github.com/repos/ceylon/ceylon-spec/releases{/id}","created_at":"2011-01-24T13:41:30Z","updated_at":"2015-07-28T16:28:32Z","pushed_at":"2015-08-21T13:01:05Z","git_url":"git://github.com/ceylon/ceylon-spec.git","ssh_url":"git@github.com:ceylon/ceylon-spec.git","clone_url":"https://github.com/ceylon/ceylon-spec.git","svn_url":"https://github.com/ceylon/ceylon-spec","homepage":"http://ceylon-lang.org","size":39053,"stargazers_count":123,"watchers_count":123,"language":"XSLT","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":39,"mirror_url":null,"open_issues_count":238,"forks":39,"open_issues":238,"watchers":123,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/1408"},"html":{"href":"https://github.com/ceylon/ceylon-spec/pull/1408"},"issue":{"href":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1408"},"comments":{"href":"https://api.github.com/repos/ceylon/ceylon-spec/issues/1408/comments"},"review_comments":{"href":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/1408/comments"},"review_comment":{"href":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/ceylon/ceylon-spec/pulls/1408/commits"},"statuses":{"href":"https://api.github.com/repos/ceylon/ceylon-spec/statuses/cb6f9bb44b272bccbdf92d7d96e090f15ca4a8e4"}}}}