<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
<blockquote cite="mid4669AE6A.3010503@web.am" type="cite">
<blockquote type="cite">I don't know about texinfo :) But I could
convert all man pages to
<br>
tex/latex format if anyone could point me to a script that can
<br>
recursively run over a set of directories and feed every file to rman,
<br>
<a class="moz-txt-link-freetext" href="http://polyglotman.sourceforge.net/">http://polyglotman.sourceforge.net/</a>
<br>
</blockquote>
<br>
something like this?
<br>
<br>
find ./ -name '*.html' | xargs -n 1 rman
<br>
<br>
regards, Gaspar
<br>
<br>
</blockquote>
<br>
<br>
Ok. Here goes: <a class="moz-txt-link-freetext" href="http://code.google.com/p/docerl/">http://code.google.com/p/docerl/</a><br>
<br>
I've used the html2tex script that can be found here:
<a class="moz-txt-link-freetext" href="http://www.iwriteiam.nl/html2tex.html">http://www.iwriteiam.nl/html2tex.html</a><br>
<br>
What I did is I simply ran <br>
<blockquote>find ./ -name '*.html' | xargs -n 1 html2tex<br>
</blockquote>
over the directory with Erlang's documentation in HTML format
(available here: <a class="moz-txt-link-freetext" href="http://www.erlang.org/download.html">http://www.erlang.org/download.html</a>)<br>
<br>
The result may be both satisfactory and unsatisfactory - I don't know,
you decide :) <br>
<br>
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.<br>
<br>
Anyway... I'm quite bad with TeX/LaTeX, as I only started learning it
last week. And there's work too... :)<br>
<br>
So, if you're interested in doing something with these files, let me
know, I'll add you as a member to the project.<br>
<br>
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<br>
<br>
</body>
</html>