4 for job
in APPNOTE_010_Verilog_to_BLIF APPNOTE_011_Design_Investigation APPNOTE_012_Verilog_to_BTOR
6 [ -f $job.ok
-a $job.ok
-nt $job.tex
] && continue
7 if [ -f $job/make.sh
]; then
12 old_md5
=$
([ -f $job.aux
] && md5sum < $job.aux || true
)
14 pdflatex
-shell-escape -halt-on-error $job.tex ||
exit
15 new_md5
=$
(md5sum < $job.aux
)
16 [ "$old_md5" != "$new_md5" ]