diff options
author | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 18:26:02 -0400 |
---|---|---|
committer | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 18:27:39 -0400 |
commit | 69a6e7cea14d7310d84012b4870eb3464046c6ff (patch) | |
tree | 7a2a6184ee818e0f2c176680307b0596e13d968f /configure | |
parent | e56e36cb400c605baeec1f304927f9fe78bd428d (diff) |
outputs/ made into symlink
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -14,8 +14,6 @@ for tgt in */document.tex; do DIR=$(dirname $tgt) ( echo -en "\n${DIR}/document.pdf: ${DIR}/document.tex "; find $DIR \!\ -type d \! -name "document.tex" -a -name "*.tex" -exec echo {} +; ) >> Makefile - echo -e "\noutputs/${DIR}.pdf: ${DIR}/document.pdf outputs\n\tcp -f $< \$@"\ - >> Makefile done for gen in gen/*.orig.tex; do |