The html files were generated from the texinfo files with the command

  texi2html -split chapter -nonumber -no-section_navigation -subdir html texi/ArX.texi

The pdf file was generated with the command

  texi2pdf -c texi/ArX.texi

This was done on a Debian woody GNU/Linux system using the standard
tools.  This should produce a clean document, modulo some overfull
hboxes.


