use tocbibind for the table of contents

docs/style.tex

@@ -131,9 +131,13 @@
   listing options={basicstyle=\ttfamily,language=bash},
   title=\thetcbcounter #2, #1
 }
-
+\usepackage{tocbibind}
 \usepackage[citestyle=verbose,bibstyle=numeric,sorting=none,backend=bibtex8]{biblatex}
 \DefineBibliographyStrings{german}{%
   references = {Referenzen},
 }
 
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "main"
+%%% End: