aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
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