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