Add Texinfo support

[CeylonMigrationBot]

[@lucaswerkmeister] I wrote some XSLT stylesheets that transform the spec’s Docbook into Texinfo.

To test it, run:

ant -Dlang=en lang.docinfo.install

and then you can view the specification with

info ceylon-spec

or

emacs # open emacs
C-h i # open info directory
mCeylon # menu item Ceylon

We 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.

Note: this pull request also contains the commit from #4513 (closes #4513), since it’s required for this to work (all nodes need to have IDs).

[Migrated from ceylon/ceylon-spec#1408]
[Closed at 2015-08-21 12:35:09]

[CeylonMigrationBot]

[@quintesse] NB: for this to work you need to have makeinfo installed

[CeylonMigrationBot]

[@lucaswerkmeister] Is that not installed by default on most Linuxes?

[CeylonMigrationBot]

[@quintesse] It wasn't on mine (Fedora 21)

[CeylonMigrationBot]

[@quintesse] btw to test I had to type info build/en/ceylon-spec

[CeylonMigrationBot]

[@lucaswerkmeister] so you didn’t install it?

[CeylonMigrationBot]

[@lucaswerkmeister]

It wasn't on mine (Fedora 21)

seems to be part of the texinfo package on Debian and Arch, and in both distros that package seems to be part of the base distribution

[CeylonMigrationBot]

[@quintesse]

so you didn’t install it?

I ran the "ant" command just as you describe above

[CeylonMigrationBot]

[@lucaswerkmeister]

ant -Dlang=en lang.docinfo.install

This one should install it in your global info directory. Needs sudo, install, install-info though.

[CeylonMigrationBot]

[@quintesse] I don't think the "sudo" command got executed at all

[CeylonMigrationBot]

[@quintesse] Does it ask you for credentials when you run that task?

[CeylonMigrationBot]

[@lucaswerkmeister] yes

[CeylonMigrationBot]

[@quintesse] Wtf? IT's because you put -Dlang.en in the command instead of -Dlang=en!

But then why does it even get to the doc generation?

[CeylonMigrationBot]

[@lucaswerkmeister]
…oops :D

sorry, but does it work with -Dlang=en?

[CeylonMigrationBot]

[@quintesse] yup

[CeylonMigrationBot]

[@lucaswerkmeister] ok good

I should probably do something in ceylon-dist too so that our published packages install the file as well.

[CeylonMigrationBot]

[@quintesse] Although I'm thinking of just doing an <echo> of that install line, running sudo from a script without seeing what it is going to do is not something I normally like to do