diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-04 23:11:12 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-04 23:11:12 -0800 |
| commit | 4720748be8253de6fcf69275620ad65cd0bd0d45 (patch) | |
| tree | 61e6f4659b7324714925fa9c31ddf523e1573459 /Makefile | |
| parent | 04fcb7a24ea4ac179f5033c00f7cb23b8ebb9e35 (diff) | |
Removed second parameter of makespec.py.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -188,8 +188,8 @@ spec: spec.html echo "Link to missing anchor #$$link"; \ done -spec.html: spec.txt template.html - python3 makespec.py $< html > $@ +spec.html: spec.txt template.html ${PROG} + python3 makespec.py html > $@ spec.pdf: spec.md template.tex specfilter.hs pandoc -s $< --template template.tex \ |