From 1272c7c91664770d7ddea4545e0d00b4fdc25400 Mon Sep 17 00:00:00 2001
From: Claire Charron <claire@undeterminant.net>
Date: Wed, 11 Jun 2014 16:07:03 -0400
Subject: [PATCH] Makefile.

---
 .gitignore      |  1 +
 policy/Makefile | 15 +++++++++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 policy/Makefile

diff --git a/.gitignore b/.gitignore
index 96e5fdc..be363b0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 *.pdf
 *.aux
 *.log
+*.zip
 *~
diff --git a/policy/Makefile b/policy/Makefile
new file mode 100644
index 0000000..9c306fb
--- /dev/null
+++ b/policy/Makefile
@@ -0,0 +1,15 @@
+TEX = $(wildcard *.tex)
+SRC = $(filter-out head.tex,${TEX})
+PDF = ${SRC:.tex=.pdf}
+
+.SUFFIXES:
+.SUFFIXES: .tex .pdf
+
+.tex.pdf:
+	pdflatex $<
+
+policy.zip: ${PDF}
+	zip policy.zip ${PDF}
+
+clean:
+	rm -f *.log *.aux *.pdf *.zip