--- a/doc-src/Intro/intro.tex Mon May 08 11:13:11 2000 +0200
+++ b/doc-src/Intro/intro.tex Mon May 08 11:13:28 2000 +0200
@@ -137,5 +137,5 @@
\bibliographystyle{plain} \small\raggedright\frenchspacing
\bibliography{../manual}
-\input{intro.ind}
+\printindex
\end{document}