From d948cb2b921ef0384015bbd432d8b7a7015fee11 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 4 Jan 2015 13:07:18 -0800
Subject: spec2md.py -> makespec.py.

Moved HTML generation out of Makefile.
---
 Makefile | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0791f1a..fc47464 100644
--- a/Makefile
+++ b/Makefile
@@ -178,7 +178,7 @@ dingus: js/commonmark.js
 ### Spec ###
 
 spec.md: $(SPEC)
-	python3 spec2md.py $< > $@
+	python3 makespec.py $< markdown > $@
 
 spec: spec.html
 	@anchors=`perl -ne '@matches = / id="([^"]*)"/g; foreach $$match (@matches) { print "$$match\n"; }' $<`; \
@@ -188,11 +188,8 @@ spec: spec.html
 			 echo "Link to missing anchor #$$link"; \
 	done
 
-spec.html: spec.md template.html
-	pandoc --no-highlight --number-sections --template template.html -s --toc -S $< | \
-	perl -pe 's/a href="@([^"]*)"/a id="\1" href="#\1" class="definition"/g' | \
-	perl -pe 's/␣/<span class="space"> <\/span>/g' \
-	> $@
+spec.html: spec.txt template.html
+	python3 makespec.py $< html > $@
 
 spec.pdf: spec.md template.tex specfilter.hs
 	pandoc -s $< --template template.tex \
-- 
cgit v1.2.3