aboutsummaryrefslogtreecommitdiff
path: root/configure
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