O'Caml refman source

O'Caml refman source

[Stefan Monnier]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 466 bytes --]


Is the source of the refman available somewhere ?
I can see html, dvi, ps, prn, txt (some compressed, some not), it
seems that they should all derive from some magic source (TeXinfo
or somesuch). Why isn't it available ?

-----

Lae source du manuel de référence est-il accesible quelque part ?
Il semble que tous ces formats (dvi, ps, html, ...) dérivent d'une source
genre TeXinfo, mais cette source semble ne pas être distribuée, pourquoi ?


        Stefan

Re: O'Caml refman source

[Xavier Leroy]

> Is the source of the refman available somewhere ?
> I can see html, dvi, ps, prn, txt (some compressed, some not), it
> seems that they should all derive from some magic source (TeXinfo
> or somesuch).

Actually, the source is in LaTeX with custom macros.

> Why isn't it available ?

The source plus all the translators is pretty complex and not too
clean. Besides, we figured that few, if any, users would actually need
the source of the documentation. Also, we'd rather no see modified
versions of the documentation disseminated here and there. But if you
have any legitimate use for the sources, let us (caml-light@inria.fr)
know and we'll work out something.

Regards,

- Xavier Leroy