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