diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/APPNOTE_011_Design_Investigation/make.sh | 4 | ||||
| -rwxr-xr-x | manual/appnotes.sh | 2 | ||||
| -rwxr-xr-x | manual/clean.sh | 2 |
3 files changed, 5 insertions, 3 deletions
diff --git a/manual/APPNOTE_011_Design_Investigation/make.sh b/manual/APPNOTE_011_Design_Investigation/make.sh index fa3ca70e..3845dac6 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 f816956a..1160af6a 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 00000000..13554c01 --- /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 |