diff options
author | Holden Rohrer <hr@hrhr.dev> | 2020-03-23 14:57:18 -0400 |
---|---|---|
committer | Holden Rohrer <hr@hrhr.dev> | 2020-03-23 14:57:21 -0400 |
commit | 784d5d1eb73d648fcb1f871c22e8ef8c85595b79 (patch) | |
tree | 2173ea4bb1563012ad51df8125996c82696444f0 /Makefile | |
parent | 055004bb97a05b107c0898fc410683f2c0b1d56a (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-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |