summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
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 \