summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index a7bada9..a9d6033 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@ all: progreport/document.pdf execsumm/document.pdf
progreport/document.pdf: progreport/document.tex format.tex
execsumm/document.pdf: execsumm/document.tex format.tex
.tex.pdf:
- cd $$(dirname $@) && pdftex $$(basename $<)
+ cd $$(dirname $@) && pdftex --jobname $$(basename $*) $$(basename $<)
clean:
find -E . -regex ".*\.(pdf|log)" | xargs rm -f
.PHONY: all clean