diff options
| author | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 17:32:38 -0400 |
|---|---|---|
| committer | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 17:32:38 -0400 |
| commit | 090dc2da6abd7dfcb9ab22559ccb684700148794 (patch) | |
| tree | 6602dd248079a093176e3ec4e3901120df677972 /configure | |
| parent | bd2ee55ce5fd7c5a0365204382bf48776061ba2f (diff) | |
./configure replaces manual tex search
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure b/configure new file mode 100755 index 0000000..91ce029 --- /dev/null +++ b/configure @@ -0,0 +1,8 @@ +#!/bin/sh + +cp Makefile.orig Makefile +for tgt in */document.tex; do + DIR=$(dirname $tgt) + ( echo; echo -n "${DIR}/document.pdf: ${DIR}/document.tex "; find $DIR \!\ + -type d \! -name "document.tex" -a -name "*.tex" -exec echo {} +; ) >> Makefile +done |