From 276f2807bf7c5f3226c6d649b0bbf7bc5f964880 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 28 Jul 2015 12:17:48 -0700
Subject: Fixed various problems with spec.pdf generation.

Closes #353.
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f27cd4a..f50996b 100644
--- a/Makefile
+++ b/Makefile
@@ -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
 
-- 
cgit v1.2.3