From 090dc2da6abd7dfcb9ab22559ccb684700148794 Mon Sep 17 00:00:00 2001 From: Holden Rohrer Date: Thu, 28 May 2020 17:32:38 -0400 Subject: ./configure replaces manual tex search --- configure | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100755 configure (limited to 'configure') 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 -- cgit