summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile10
1 files changed, 10 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..163bc67
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,10 @@
+.POSIX:
+.SUFFIXES: .tex .pdf
+all: progreport/document.pdf execsumm/document.pdf
+progreport/document.pdf: progreport/document.tex
+execsumm/document.pdf: execsumm/document.tex
+.tex.pdf:
+ pdftex $<
+clean:
+ find . -name "*.pdf" | xargs rm -f
+.PHONY: all clean