Use pandoc's `--toc` option to generate TOC

2016-03-25 18:05:23 +01:00 · 2016-03-25 18:05:23 +01:00 · ec7d89b950
parent ef33ff0205
commit ec7d89b950
3 changed files with 3 additions and 2 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,6 +1,8 @@
 *.pandoc.pdf
+*.pdf
 dist/
 filters/*.hi
 filters/*.o
 filters/usual-fun
 filters/nice-frac
+
--- a/2
+++ b/2
@ -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 $@	
--- a/notes.md
+++ b/notes.md
@ -12,7 +12,6 @@ header-includes:
 cref: True
 chapters: True
 ---
-\tableofcontents

 \pagebreak