From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 06:24:13 +0000 (-0700)
Subject: Makefile: add README.pdf target
X-Git-Tag: oopsla2015~13
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=e678e5e08ca62a14904de6833325dabd93d57dd3

Makefile: add README.pdf target

Using pandoc:

  http://johnmacfarlane.net/pandoc/
---

diff --git a/Makefile b/Makefile
index b7fd60b..37bdcd1 100644
--- a/Makefile
+++ b/Makefile
@@ -79,3 +79,7 @@ PHONY += pdfs
 pdfs: $(patsubst %.dot,%.pdf,$(wildcard *.dot))
 
 .PHONY: $(PHONY)
+
+# A 1-inch margin PDF generated by 'pandoc'
+%.pdf: %.md
+	pandoc -o $@ $< -V header-includes='\usepackage[margin=1in]{geometry}'