doc-src/System/system.tex

--- 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}