diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:36:22 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-12 20:42:30 -0800 |
commit | fed6a57f30ecdbcf4805b1900dd0f164856c1163 (patch) | |
tree | 95a4f05799af5f08fe88d50d35d05a5c7a188fae /Makefile | |
parent | 6740322cc41a4f65c1dba81bb4dfe9b8621dc430 (diff) |
Moved templates, makespec.py, and specfilter.hs -> tools/.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -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 |