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