summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-12 20:36:22 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-12 20:42:30 -0800
commitfed6a57f30ecdbcf4805b1900dd0f164856c1163 (patch)
tree95a4f05799af5f08fe88d50d35d05a5c7a188fae /Makefile
parent6740322cc41a4f65c1dba81bb4dfe9b8621dc430 (diff)
Moved templates, makespec.py, and specfilter.hs -> tools/.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile12
1 files changed, 6 insertions, 6 deletions
diff --git a/Makefile b/Makefile
index 7004169..aade387 100644
--- a/Makefile
+++ b/Makefile
@@ -156,14 +156,14 @@ dingus: js/commonmark.js
### Spec ###
spec.md: $(SPEC)
- python3 makespec.py markdown > $@
+ python3 tools/makespec.py markdown > $@
-spec.html: spec.txt template.html ${PROG}
- python3 makespec.py html > $@
+spec.html: spec.txt tools/template.html ${PROG}
+ python3 tools/makespec.py html > $@
-spec.pdf: spec.md template.tex specfilter.hs
- pandoc -s $< --template template.tex \
- --filter ./specfilter.hs -o $@ --latex-engine=xelatex --toc \
+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 \
-V classoption=twosides