From e7922262fe8a00b94084fd5667c190ad4fe1f40e Mon Sep 17 00:00:00 2001
From: Alhadis <gardnerjohng@gmail.com>
Date: Mon, 3 Jul 2017 10:57:36 +1000
Subject: [PATCH] Add Make task to regenerate PDF files

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

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..74b3d06
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,11 @@
+pdfs := $(wildcard tmp/*.pdf)
+
+all: $(pdfs)
+
+%.pdf: %.out
+	@gropdf -d < $^ > $@
+
+watch:;   @watchman -- trigger . _ 'tmp/*.out' -- make all
+unwatch:; @watchman -- watch-del .
+
+.PHONY: watch unwatch