Revert the index stuff to work better with LaTeX2HTML.
diff --git a/Doc/lib.tex b/Doc/lib.tex
index ca587ce..1ac5992 100644
--- a/Doc/lib.tex
+++ b/Doc/lib.tex
@@ -223,12 +223,20 @@
\input{libundoc}
-\renewcommand{\indexname}{Module Index}
-\renewcommand{\indexlabel}{modindex}
-\inputindex{modlib.ind} % Module Index
+%
+% The ugly "%begin{latexonly}" pseudo-environments are really just to
+% keep LaTeX2HTML quiet during the \renewcommand{} macros; they're
+% not really valuable.
+%
+%begin{latexonly}
+\renewcommand{\indexname}{Module Index}
+%end{latexonly}
+\input{modlib.ind} % Module Index
+
+%begin{latexonly}
\renewcommand{\indexname}{Index}
-\renewcommand{\indexlabel}{genindex}
-\inputindex{lib.ind} % Index
+%end{latexonly}
+\input{lib.ind} % Index
\end{document}