Merge pull request #9 from Kerl13/master

Use pandoc's `--toc` option to generate TOC
This commit is contained in:
Lucas Verney 2016-03-25 18:37:36 +01:00
commit ba6226d115
3 changed files with 3 additions and 2 deletions

2
.gitignore vendored
View File

@ -1,6 +1,8 @@
*.pandoc.pdf
*.pdf
dist/
filters/*.hi
filters/*.o
filters/usual-fun
filters/nice-frac

View File

@ -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 $@

View File

@ -12,7 +12,6 @@ header-includes:
cref: True
chapters: True
---
\tableofcontents
\pagebreak