diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2023-01-11 04:10:12 +0100 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2023-01-11 04:10:12 +0100 |
| commit | 6d56d4ecfc2c9afda3fd58f945a5f10daf87a999 (patch) | |
| tree | 8b2e2cd5018674f287ae8b2c20877615fec8b555 /manual/manual.sh | |
| parent | 029b0aac7f10ff5e1d927fb6ec1d9571a5350176 (diff) | |
| parent | 7b476996df962b63656152f643ff2181143f516e (diff) | |
| download | yosys-6d56d4ecfc2c9afda3fd58f945a5f10daf87a999.tar.gz yosys-6d56d4ecfc2c9afda3fd58f945a5f10daf87a999.tar.bz2 yosys-6d56d4ecfc2c9afda3fd58f945a5f10daf87a999.zip | |
Merge branch 'master' of github.com:YosysHQ/yosys into claire/eqystuff
Diffstat (limited to 'manual/manual.sh')
| -rwxr-xr-x | manual/manual.sh | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/manual/manual.sh b/manual/manual.sh deleted file mode 100755 index c4673938a..000000000 --- a/manual/manual.sh +++ /dev/null @@ -1,59 +0,0 @@ -#!/bin/bash - -fast_mode=false -update_mode=false - -set -- $(getopt fu "$@") -while [ $# -gt 0 ]; do - case "$1" in - -f) - fast_mode=true - ;; - -u) - update_mode=true - ;; - --) - shift - break - ;; - -*) - echo "$0: error - unrecognized option $1" 1>&2 - exit 1 - ;; - *) - break - esac - shift -done - -PDFTEX_OPT="-shell-escape -halt-on-error" - -if $update_mode; then - make -C .. - ../yosys -p 'help -write-tex-command-reference-manual' -fi - -if ! $fast_mode; then - md5sum *.aux *.bbl *.blg > autoloop.old -fi - -set -ex - -pdflatex $PDFTEX_OPT manual.tex - -if ! $fast_mode; then - 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 -fi - |