diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-04-04 13:48:13 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-04-04 14:52:25 +0200 |
| commit | 1d5d1f79f9dc21906f057dc4601904ba01559359 (patch) | |
| tree | 0b3bd2b8351fe137417f2fb83880b55308fab5a0 /manual/appnotes.sh | |
| parent | 082550f1f3aad3785ea5a712362a32e599e41f88 (diff) | |
| download | yosys-1d5d1f79f9dc21906f057dc4601904ba01559359.tar.gz yosys-1d5d1f79f9dc21906f057dc4601904ba01559359.tar.bz2 yosys-1d5d1f79f9dc21906f057dc4601904ba01559359.zip | |
Appnote 012
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 |