[erlang-questions] texinfo

Kenneth Lundin <>
Sun Jun 10 21:58:16 CEST 2007


Hi,

The source for the Erlang documentation is currently SGML and will soon be XML.
When we have finished converting the sources to XML (which is really
easy) we plan to release the doc source
as Open Source together with the code (but probably in a separate package).

I think that a well defined XML source should serve as a good starting point for
many different purposes like online help in editors, nicer formatting etc.
We already translate to LaTex for the pdf docs I don't know why texinfo would
be an interesting format when we already have a formal markup with DTD's
tailormade for the purpose. Please explain the benefits with texinfo.

Release of the source for the doc will happen during the year, probably
Q3.

/Kenneth (Erlang/OTP team at Ericsson)

On 6/9/07, Dmitrii 'Mamut' Dimandt <> wrote:
>
> I don't know about texinfo :) But I could convert all man pages to
> tex/latex format if anyone could point me to a script that can
> recursively run over a set of directories and feed every file to rman,
> http://polyglotman.sourceforge.net/
>
> something like this?
>
> find ./ -name '*.html' | xargs -n 1 rman
>
> regards, Gaspar
>
>
>
> Ok. Here goes: http://code.google.com/p/docerl/
>
> I've used the html2tex script that can be found here:
> http://www.iwriteiam.nl/html2tex.html
>
> What I did is I simply ran
> find ./ -name '*.html' | xargs -n 1 html2tex
> over the directory with Erlang's documentation in HTML format (available
> here: http://www.erlang.org/download.html)
>
> The result may be both satisfactory and unsatisfactory - I don't know, you
> decide :)
>
> In order to create a cross-linked TeX file out of multiple files html2tex
> needs a a skeleton file that contains the toc, all the necessary files etc.
> etc. That I didn't provide. The result is a bunch of .tex files that cannot
> be compiled as-is. If you add a \begin{document} \end{document} to each, it
> will work. See it as a bunch of .tex files ready for inclusion in a larger
> TeX file.
>
> Anyway... I'm quite bad with TeX/LaTeX, as I only started learning it last
> week. And there's work too... :)
>
> So, if you're interested in doing something with these files, let me know,
> I'll add you as a member to the project.
>
> Oh. I realise it's not texinfo, but tex :) I couldn't find html-to-texinfo
> converters :) But TeX should be more than ok, I guess
>
>
> _______________________________________________
> erlang-questions mailing list
> 
> http://www.erlang.org/mailman/listinfo/erlang-questions
>



More information about the erlang-questions mailing list