aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-24 21:44:05 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-24 21:44:05 -0800
commit24d618f0ad2ebbb302cab816f4ec8ee7273056de (patch)
tree3e0707554f8960ae1815581595650d60c17844d9 /Makefile
parent829b089c80895d9a78938c5bc7747aea1cd48eb6 (diff)
New Makefile just for spec operations.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile27
1 files changed, 27 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..2c9371f
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,27 @@
+SPEC=spec.txt
+SITE=_site
+SPECVERSION=$(shell perl -ne 'print $$1 if /^version: *([0-9.]+)/' $(SPEC))
+
+.PHONY: spec update-site upload-site
+
+spec: spec.html # spec.pdf
+
+spec.md: $(SPEC)
+ python3 tools/makespec.py markdown > $@
+
+spec.html: spec.txt tools/template.html
+ python3 tools/makespec.py html > $@
+
+spec.pdf: spec.md tools/template.tex tools/specfilter.hs
+ pandoc -s $< --template tools/template.tex \
+ --filter tools/specfilter.hs -o $@ --latex-engine=xelatex --toc \
+ --number-sections -V documentclass=report -V tocdepth=2 \
+ -V classoption=twosides
+
+### Website ###
+
+update-site: spec
+ make -C $(SITE) update
+
+upload-site: spec
+ make -C $(SITE) upload