diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-07-20 15:19:12 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-07-20 15:19:12 +0200 |
| commit | 61ed6b32d1f5fbfda9c6effdaa678092f8156bfa (patch) | |
| tree | 3a53692cbd93a09eabeb67eff5e9e4ace5cf1a3e /manual/make.sh | |
| parent | 3650fd7fbe45a00792770d9ecb9397bc27ea0845 (diff) | |
Added Yosys Manual
Diffstat (limited to 'manual/make.sh')
| -rw-r--r-- | manual/make.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/manual/make.sh b/manual/make.sh new file mode 100644 index 00000000..e8263c7b --- /dev/null +++ b/manual/make.sh @@ -0,0 +1,22 @@ +#!/bin/bash + +PDFTEX_OPT="-shell-escape -halt-on-error" + +md5sum *.aux *.bbl *.blg > autoloop.old +set -ex + +pdflatex $PDFTEX_OPT manual.tex +bibtex manual.aux +bibtex weblink.aux + +while + md5sum *.aux *.bbl *.blg > autoloop.new + ! cmp autoloop.old autoloop.new +do + cp autoloop.new autoloop.old + pdflatex $PDFTEX_OPT manual.tex +done + +rm -f autoloop.old +rm -f autoloop.new + |