From a58f693959514bad90848d6f65f2fa1c11c3da9c Mon Sep 17 00:00:00 2001 From: Holden Rohrer Date: Thu, 28 May 2020 18:28:01 -0400 Subject: made gen/ generator valid --- configure | 1 + 1 file changed, 1 insertion(+) (limited to 'configure') diff --git a/configure b/configure index 8789201..2e56ed4 100755 --- a/configure +++ b/configure @@ -19,4 +19,5 @@ done for gen in gen/*.orig.tex; do BASE=$(basename $gen .orig.tex) echo "gen/${BASE}.tex: gen/make${BASE}.sh gen/${BASE}.orig.tex" >> Makefile + echo -e "\t$<\n" >> Makefile done -- cgit