diff options
Diffstat (limited to 'manual/make_appnotes.sh')
| -rw-r--r-- | manual/make_appnotes.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/manual/make_appnotes.sh b/manual/make_appnotes.sh new file mode 100644 index 00000000..00f87576 --- /dev/null +++ b/manual/make_appnotes.sh @@ -0,0 +1,17 @@ +#!/bin/bash + +set -ex +for job in APPNOTE_010_Verilog_to_BLIF +do + [ -f $job.ok -a $job.ok -nt $job.tex ] && continue + old_md5=$([ -f $job.aux ] && md5sum < $job.aux) + while + pdflatex -shell-escape -halt-on-error $job.tex + new_md5=$(md5sum < $job.aux) + [ "$old_md5" != "$new_md5" ] + do + old_md5="$new_md5" + done + touch $job.ok +done + |