Revert the index stuff to work better with LaTeX2HTML.
diff --git a/Doc/ext.tex b/Doc/ext.tex
index d2d11ad..0532212 100644
--- a/Doc/ext.tex
+++ b/Doc/ext.tex
@@ -1489,6 +1489,6 @@
 files).  No \samp{-l} options can be used.
 
 
-\inputindex{ext.ind}
+\input{ext.ind}
 
 \end{document}