From e678e5e08ca62a14904de6833325dabd93d57dd3 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 13 Aug 2013 23:24:13 -0700
Subject: [PATCH] Makefile: add README.pdf target

Using pandoc:

  http://johnmacfarlane.net/pandoc/
---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index b7fd60bd..37bdcd11 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}'
-- 
2.34.1