#!/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 orm'>
[no description]
aboutsummaryrefslogtreecommitdiffstats
path: root/docs/feature_command.md
blob: ad987aaf60346cef82387ce9e02317157b68a498 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52