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/manual.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/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 - |