Add texinfo spec

[CeylonMigrationBot]

[@lucaswerkmeister] - [x] Add Ant task to copy info files from ../ceylon-spec/build/$lang/info to ../ceylon-dist/dist/doc/info

• Add commands to install the info file globally to the redhat/ and debian/ scripts (install-info)

[Migrated from ceylon/ceylon-dist#51]

[CeylonMigrationBot]

[@quintesse] Why the first item? That's not an officially defined place for documentation

[CeylonMigrationBot]

[@lucaswerkmeister] I had gathered that @jvasileff and @FroMage wanted a way to install the files locally. Not too keen of it myself though, so I won’t mind if we remove that part.

[CeylonMigrationBot]

[@jvasileff] I haven't really paid attention to how most people install Ceylon, but my preference for "local" installs is:

$CEYLON_HOME/doc/info

just like we currently have

$CEYLON_HOME/bin
$CEYLON_HOME/doc/man
...

We should get that "for free", right?

FTR, I am not using ~/.ceylon for CEYLON_HOME. Maybe that's what some people do? Doesn't seem right to me though, since I'd like to maintain multiple installations (1.1.0, 1.1.1, etc.)

[CeylonMigrationBot]

[@lucaswerkmeister] Oh, I didn’t know we already had /doc/man. Then of course the info belongs in /doc/info. Updated the issue. Thanks!

[CeylonMigrationBot]

[@quintesse]

FTR, I am not using ~/.ceylon for CEYLON_HOME. Maybe that's what some people do?

I doubt that would work and even if it did it's definitely not supported! ;)

[CeylonMigrationBot]

[@quintesse] NB: updated the text again @lucaswerkmeister because in the build you can't refer to ${CEYLON_HOME}, it get's copied directly to the local copy of ceylon-distrelative to the ceylon-spec. Just to be exact.

[CeylonMigrationBot]

[@tombentley] What needs to be done here @lucaswerkmeister, @quintesse? Can we close this for 1.2 or should I move it to 1.3?

[CeylonMigrationBot]

[@lucaswerkmeister] I’ll try to get this done tonight.

[CeylonMigrationBot]

[@tombentley] Thanks

[CeylonMigrationBot]

[@quintesse] @lucaswerkmeister like before, if you need some help (especially with the redhat build stuff) just give a holler (Stef is the guy you want if you have questions about the debian stuff).

[CeylonMigrationBot]

[@lucaswerkmeister] The first part actually gets done automatically! :D generate-spec calls doc in ceylon-spec (which builds all formats, including info), and then copies all formats to dist/doc/en/spec, resulting in:

dist/doc/
└── en
    └── spec
        ├── html
        │   ├── annotations.html
        │   ├── declarations.html
        │   ├── execution.html
        │   ├── expressions.html
        │   ├── index.html
        │   ├── introduction.html
        │   ├── lexical.html
        │   ├── modulesystem.html
        │   ├── pr01.html
        │   ├── statementblocks.html
        │   └── typesystem.html
        ├── html_single
        │   └── index.html
        ├── info
        │   ├── ceylon-spec.info
        │   ├── ceylon-spec.info-1
        │   ├── ceylon-spec.info-2
        │   └── ceylon-spec.texi
        ├── pdf
        │   └── Ceylon Language Specification 20150917.pdf
        └── shared
            └── css
                ├── bnf.js
                ├── ceylon.css
                ├── ceylon.js
                ├── html.css
                └── rainbow.min.js

[CeylonMigrationBot]

[@FroMage] let me try it for debian

[CeylonMigrationBot]

[@FroMage] done for debian.

[CeylonMigrationBot]

[@quintesse] Well I added them and they get copied but it seems they don't get picked up by the "info" command, must have done something wrong.