diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-08-30 11:37:43 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-30 11:37:43 -0700 |
commit | 30db50c5b6fe7dc80f4ffb7d84324606e8e12534 (patch) | |
tree | 37be4ca0dfce5d90ae8e94f61b7a82f5b535befb /Makefile | |
parent | 8c80f2d5b5f5230be6c842be741d8c1468ee01db (diff) |
Makefile: Build index.html in _site from narrative.md
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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: |