From e56e36cb400c605baeec1f304927f9fe78bd428d Mon Sep 17 00:00:00 2001 From: Holden Rohrer Date: Thu, 28 May 2020 18:15:45 -0400 Subject: generalized gen/ --- configure | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'configure') 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 -- cgit