aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorHolden Rohrer <hr@hrhr.dev>2020-05-28 18:15:45 -0400
committerHolden Rohrer <hr@hrhr.dev>2020-05-28 18:15:45 -0400
commite56e36cb400c605baeec1f304927f9fe78bd428d (patch)
tree94a7fa3bf3f7d3045859d5355c1350175ad8d1cc /configure
parent644eb8e78f80bb8811a7abb72b25866a424ac633 (diff)
generalized gen/
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 6 insertions, 0 deletions
diff --git a/configure b/configure
index ab40b19..00d5722 100755
--- a/configure
+++ b/configure
@@ -9,6 +9,7 @@ python -c "import matplotlib" >/dev/null || ( echo "Install matplotlib" && exit
gs --version >/dev/null || echo "Ghostscript not installed (no PNG poster)"
cp Makefile.orig Makefile
+
for tgt in */document.tex; do
DIR=$(dirname $tgt)
( echo -en "\n${DIR}/document.pdf: ${DIR}/document.tex "; find $DIR \!\
@@ -16,3 +17,8 @@ for tgt in */document.tex; do
echo -e "\noutputs/${DIR}.pdf: ${DIR}/document.pdf outputs\n\tcp -f $< \$@"\
>> Makefile
done
+
+for gen in gen/*.orig.tex; do
+ BASE=$(basename $gen .orig.tex)
+ echo "gen/${BASE}.tex: gen/make${BASE}.sh gen/${BASE}.orig.tex" >> Makefile
+done