diff options
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 |