--- a/doc-src/IsarRef/isar-ref.tex Fri Jun 01 13:02:09 2012 +0200
+++ b/doc-src/IsarRef/isar-ref.tex Fri Jun 01 13:39:14 2012 +0200
@@ -81,10 +81,12 @@
\input{Thy/document/ML_Tactic.tex}
\begingroup
+ \tocentry{\bibname}
\bibliographystyle{abbrv} \small\raggedright\frenchspacing
\bibliography{../manual}
\endgroup
+\tocentry{\indexname}
\printindex
\end{document}
--- a/doc-src/System/system.tex Fri Jun 01 13:02:09 2012 +0200
+++ b/doc-src/System/system.tex Fri Jun 01 13:39:14 2012 +0200
@@ -35,10 +35,12 @@
\input{Thy/document/Misc.tex}
\begingroup
+ \tocentry{\bibname}
\bibliographystyle{abbrv} \small\raggedright\frenchspacing
\bibliography{../manual}
\endgroup
+\tocentry{\indexname}
\printindex
\end{document}