diff options
author | KrystalDelusion <krystinedawn@yosyshq.com> | 2022-12-08 05:54:08 +1300 |
---|---|---|
committer | KrystalDelusion <krystinedawn@yosyshq.com> | 2022-12-08 05:54:08 +1300 |
commit | 1eec255e60f2854b4dd1fa212f02d57eb31c9f19 (patch) | |
tree | 9aae278e98bb5f210061c22bcf22d40854d98e8c /manual/manual.sh | |
parent | 4b95fac13934a39525a934329648cf76e4b4f219 (diff) | |
download | yosys-1eec255e60f2854b4dd1fa212f02d57eb31c9f19.tar.gz yosys-1eec255e60f2854b4dd1fa212f02d57eb31c9f19.tar.bz2 yosys-1eec255e60f2854b4dd1fa212f02d57eb31c9f19.zip |
Removing manual files
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 - |