Add Make task to regenerate PDF files

Alhadis · Jul 3, 2017 · e792226 · e792226
1 parent 9932116
commit e792226
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/Makefile 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