From 4bd2d47e45eb0354d0096d5310ccfe7a0dc3dbd0 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 11 Feb 2014 12:55:58 +0100
Subject: Improved "make manual" and "make clean"

---
 manual/APPNOTE_011_Design_Investigation/make.sh | 4 ++--
 manual/appnotes.sh                              | 2 +-
 manual/clean.sh                                 | 2 ++
 3 files changed, 5 insertions(+), 3 deletions(-)
 create mode 100755 manual/clean.sh

(limited to 'manual')

diff --git a/manual/APPNOTE_011_Design_Investigation/make.sh b/manual/APPNOTE_011_Design_Investigation/make.sh
index fa3ca70eb..3845dac6b 100644
--- a/manual/APPNOTE_011_Design_Investigation/make.sh
+++ b/manual/APPNOTE_011_Design_Investigation/make.sh
@@ -18,6 +18,6 @@ if false; then
 	sed -i '/^label=/ d;' *.dot
 fi
 for dot_file in *.dot; do
-	pdf_file=${dot_file#.dot}.pdf
-	dot -Tpdf -o example_00.pdf example_00.dot
+	pdf_file=${dot_file%.dot}.pdf
+	dot -Tpdf -o $pdf_file $dot_file
 done
diff --git a/manual/appnotes.sh b/manual/appnotes.sh
index f816956ab..1160af6af 100755
--- a/manual/appnotes.sh
+++ b/manual/appnotes.sh
@@ -11,7 +11,7 @@ do
 	fi
 	old_md5=$([ -f $job.aux ] && md5sum < $job.aux || true)
 	while
-		pdflatex -shell-escape -halt-on-error $job.tex
+		pdflatex -shell-escape -halt-on-error $job.tex || exit
 		new_md5=$(md5sum < $job.aux)
 		[ "$old_md5" != "$new_md5" ]
 	do
diff --git a/manual/clean.sh b/manual/clean.sh
new file mode 100755
index 000000000..13554c01b
--- /dev/null
+++ b/manual/clean.sh
@@ -0,0 +1,2 @@
+#!/bin/bash
+for f in $( find -name .gitignore ); do sed -re "s,^,find ${f%.gitignore} -name ',; s,$,' | xargs -r rm -vf,;" $f; done | bash -v
-- 
cgit v1.2.3