doc-src/springer.tex
changeset 8828 5be2d1745c61
parent 358 df8f0fbf7dbd
--- a/doc-src/springer.tex	Mon May 08 11:13:11 2000 +0200
+++ b/doc-src/springer.tex	Mon May 08 11:13:28 2000 +0200
@@ -106,5 +106,5 @@
 \bibliographystyle{springer} \small\raggedright\frenchspacing
 \bibliography{string-abbrv,atp,funprog,general,isabelle,logicprog,theory}
 
-\input{springer.ind}
+\printindex
 \end{document}