aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-04 23:11:12 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-04 23:11:12 -0800
commit4720748be8253de6fcf69275620ad65cd0bd0d45 (patch)
tree61e6f4659b7324714925fa9c31ddf523e1573459 /Makefile
parent04fcb7a24ea4ac179f5033c00f7cb23b8ebb9e35 (diff)
Removed second parameter of makespec.py.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index fc47464..02a845d 100644
--- a/Makefile
+++ b/Makefile
@@ -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 \