diff options
Diffstat (limited to 'manual/make_appnotes.sh')
| -rw-r--r-- | manual/make_appnotes.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/manual/make_appnotes.sh b/manual/make_appnotes.sh index 478e4cf9e..f816956ab 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 |