summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorHolden Rohrer <hr@hrhr.dev>2020-03-23 14:57:18 -0400
committerHolden Rohrer <hr@hrhr.dev>2020-03-23 14:57:21 -0400
commit784d5d1eb73d648fcb1f871c22e8ef8c85595b79 (patch)
tree2173ea4bb1563012ad51df8125996c82696444f0 /Makefile
parent055004bb97a05b107c0898fc410683f2c0b1d56a (diff)
made makefile slightly more flexible
directory/document.tex can now be named anything, as long as it's in the directory (and the makefile target line, of course).
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 1e93f1c..a7bada9 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 document.tex
+ cd $$(dirname $@) && pdftex $$(basename $<)
clean:
find -E . -regex ".*\.(pdf|log)" | xargs rm -f
.PHONY: all clean