Makefile.

.gitignore

@@ -1,4 +1,5 @@
 *.pdf
 *.aux
 *.log
+*.zip
 *~

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