diff options
author | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 18:28:01 -0400 |
---|---|---|
committer | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 18:28:01 -0400 |
commit | a58f693959514bad90848d6f65f2fa1c11c3da9c (patch) | |
tree | c1f69e56da527ee80bf28eadf3778337b4b81a1d /configure | |
parent | 69a6e7cea14d7310d84012b4870eb3464046c6ff (diff) |
made gen/ generator valid
Diffstat (limited to 'configure')
-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 |