From 5ada76165d28fff5904d129bebb73dd747d53992 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@2li.ch>
Date: Fri, 5 Jan 2018 15:18:47 +0100
Subject: [PATCH] use tocbibind for the table of contents

---
 docs/style.tex | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/style.tex b/docs/style.tex
index 5ede682..06974f8 100644
--- a/docs/style.tex
+++ b/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: