From 784d5d1eb73d648fcb1f871c22e8ef8c85595b79 Mon Sep 17 00:00:00 2001
From: Holden Rohrer <hr@hrhr.dev>
Date: Mon, 23 Mar 2020 14:57:18 -0400
Subject: 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).
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit