summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-08-30 11:37:43 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2014-08-30 11:37:43 -0700
commit30db50c5b6fe7dc80f4ffb7d84324606e8e12534 (patch)
tree37be4ca0dfce5d90ae8e94f61b7a82f5b535befb
parent8c80f2d5b5f5230be6c842be741d8c1468ee01db (diff)
Makefile: Build index.html in _site from narrative.md
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8a828e5..042b143 100644
--- a/Makefile
+++ b/Makefile
@@ -19,6 +19,9 @@ spec.md: spec.txt
spec.html: spec.md template.html
pandoc --no-highlight --number-sections --template template.html -s --toc -S $< > $@ # | perl -pe 's/␣/<span class="space"> <\/span>/g' > $@
+narrative.html: narrative.md template.html
+ pandoc --template template.html -s -S $< -o $@
+
spec.pdf: spec.md template.tex specfilter.hs
pandoc -s $< --template template.tex \
--filter ./specfilter.hs -o $@ --latex-engine=xelatex --toc \
@@ -59,8 +62,9 @@ fuzztest:
for i in `seq 1 10`; do \
time cat /dev/urandom | head -c 100000 | iconv -f latin1 -t utf-8 | $(PROG) >/dev/null; done
-update-site: README.html spec.html
+update-site: README.html spec.html narrative.html
cp spec.html _site/
+ cp narrative.html _site/index.html
cp -r js/* _site/js/
clean: