diff options
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |