From ec7d89b950a12409dc7921c4430184caaf23d14f Mon Sep 17 00:00:00 2001
From: Kerl13 <martin.pepin@netcourrier.com>
Date: Fri, 25 Mar 2016 18:05:23 +0100
Subject: [PATCH] Use pandoc's `--toc` option to generate TOC

---
 .gitignore | 2 ++
 Makefile   | 2 +-
 notes.md   | 1 -
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index f53dd5f..fb5d485 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,8 @@
 *.pandoc.pdf
+*.pdf
 dist/
 filters/*.hi
 filters/*.o
 filters/usual-fun
 filters/nice-frac
+
diff --git a/Makefile b/Makefile
index 6b0fda6..f5c2354 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ FILTERS = $(PY_FILTERS) $(HS_FILTERS) $(EXT_FILTERS)
 all: $(HS_FILTERS) $(OUT)
 
 $(OUT):
-	pandoc -S -t latex $(basename $@).md $(addprefix --filter=, $(FILTERS)) -o $@
+	pandoc -S --toc -t latex $(basename $@).md $(addprefix --filter=, $(FILTERS)) -o $@
 
 $(HS_FILTERS):
 	ghc --make $@.hs -o $@	
diff --git a/notes.md b/notes.md
index 77d05bf..f366418 100644
--- a/notes.md
+++ b/notes.md
@@ -12,7 +12,6 @@ header-includes:
 cref: True
 chapters: True
 ---
-\tableofcontents
 
 \pagebreak