From 24d618f0ad2ebbb302cab816f4ec8ee7273056de Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 24 Jan 2015 21:44:05 -0800
Subject: New Makefile just for spec operations.

---
 Makefile | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

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
-- 
cgit v1.2.3