diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-07-28 12:17:48 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-28 12:17:48 -0700 |
| commit | 276f2807bf7c5f3226c6d649b0bbf7bc5f964880 (patch) | |
| tree | ee94725037c0e15513ecec5700abb9350a0164ff /Makefile | |
| parent | 06e899d9e860b11c5ffac3f936024d04ecd0bbe4 (diff) | |
Fixed various problems with spec.pdf generation.
Closes #353.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -15,6 +15,7 @@ spec.html: spec.txt tools/template.html spec.pdf: spec.md tools/template.tex tools/specfilter.hs pandoc -s $< --template tools/template.tex \ --filter tools/specfilter.hs -o $@ --latex-engine=xelatex --toc \ - --number-sections -V documentclass=report -V tocdepth=2 \ + --number-sections --toc-depth=2 --no-highlight \ + -V documentclass=report \ -V classoption=twosides |