diff options
| author | Peter Gadfort <peter.gadfort@gmail.com> | 2023-01-02 12:46:41 -0500 |
|---|---|---|
| committer | Peter Gadfort <peter.gadfort@gmail.com> | 2023-01-02 12:46:41 -0500 |
| commit | 7971154e727cc4d7c4b8c62ad43a28645bb66795 (patch) | |
| tree | ea4632f116b272bc15940cc59f45a73eef008566 /manual/appnotes.sh | |
| parent | 58cca9592d64178a097c6345a576b1df022cd50c (diff) | |
| parent | 583ab81670847bc0084708bab04c64cb43bc3a51 (diff) | |
| download | yosys-7971154e727cc4d7c4b8c62ad43a28645bb66795.tar.gz yosys-7971154e727cc4d7c4b8c62ad43a28645bb66795.tar.bz2 yosys-7971154e727cc4d7c4b8c62ad43a28645bb66795.zip | |
Merge branch 'master' into stat-json-area
Diffstat (limited to 'manual/appnotes.sh')
| -rwxr-xr-x | manual/appnotes.sh | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/manual/appnotes.sh b/manual/appnotes.sh deleted file mode 100755 index 0ae52862e..000000000 --- a/manual/appnotes.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/bash - -set -ex -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 - 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 || exit - new_md5=$(md5sum < $job.aux) - [ "$old_md5" != "$new_md5" ] - do - old_md5="$new_md5" - done - touch $job.ok -done - |