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

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

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>