aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
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