blob: 91ce029c993ed933f987ef497bf3ed5dac332636 (
plain)
1
2
3
4
5
6
7
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
|
