diff options
Diffstat (limited to 'manual/appnotes.sh')
| -rwxr-xr-x | manual/appnotes.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/appnotes.sh b/manual/appnotes.sh index 1160af6af..0ae52862e 100755 --- a/manual/appnotes.sh +++ b/manual/appnotes.sh @@ -1,7 +1,7 @@ #!/bin/bash set -ex -for job in APPNOTE_010_Verilog_to_BLIF APPNOTE_011_Design_Investigation +for job in APPNOTE_010_Verilog_to_BLIF APPNOTE_011_Design_Investigation APPNOTE_012_Verilog_to_BTOR do [ -f $job.ok -a $job.ok -nt $job.tex ] && continue if [ -f $job/make.sh ]; then |