[erlang-questions] texinfo

Dmitrii 'Mamut' Dimandt dmitriid@REDACTED
Sat Jun 9 12:52:22 CEST 2007

>> 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:

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20070609/652b6e57/attachment.htm>

More information about the erlang-questions mailing list