diff options
| -rw-r--r-- | Makefile | 10 |
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 |