From e900d76aaaa171496d6fefa28ce07e3364500743 Mon Sep 17 00:00:00 2001
From: Melody Horn <melody@boringcactus.com>
Date: Sun, 25 Oct 2020 18:14:46 -0600
Subject: just build with make

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..f5f30d3
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,23 @@
+SRC = index.md vs-c.md tagged-unions.md types.md safety.md errors.md syntax.md LICENSE.md
+HTML = $(SRC:%.md=%.html)
+
+spec.pdf: $(HTML)
+	if git describe --tags --exact-match 2>/dev/null; \
+	then \
+		metadata="subtitle=$(git describe --tags --exact-match)"; \
+	else \
+		metadata="version=$(git log -1 --no-decorate --oneline)"; \
+	fi; \
+	pandoc --defaults=etc/pdf.yml -M "$$metadata" -o $@ $(HTML)
+
+%.html: %.md
+	offset=`echo $(SRC) | awk '{for (i=1; i<=NF; i++) if ($$i == "$<") print (i-1) }'`; \
+	pandoc --defaults=etc/md.yml --number-offset=$$offset -o $@ $<
+
+clean:
+	rm -f $(HTML) spec.pdf
+
+check: spec.pdf
+	test $$(pdfinfo spec.pdf | grep Pages | awk '{ print $$2 }') -le 200
+
+.PHONY: clean check
-- 
cgit v1.2.3