summaryrefslogtreecommitdiff
path: root/manual/make_appnotes.sh
diff options
context:
space:
mode:
Diffstat (limited to 'manual/make_appnotes.sh')
-rw-r--r--manual/make_appnotes.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/manual/make_appnotes.sh b/manual/make_appnotes.sh
index 478e4cf9..f816956a 100644
--- a/manual/make_appnotes.sh
+++ b/manual/make_appnotes.sh
@@ -4,6 +4,11 @@ set -ex
for job in APPNOTE_010_Verilog_to_BLIF APPNOTE_011_Design_Investigation
do
[ -f $job.ok -a $job.ok -nt $job.tex ] && continue
+ if [ -f $job/make.sh ]; then
+ cd $job
+ bash make.sh
+ cd ..
+ fi
old_md5=$([ -f $job.aux ] && md5sum < $job.aux || true)
while
pdflatex -shell-escape -halt-on-error $job.tex