1 files changed, 59 insertions, 0 deletions
diff --git a/manual/manual.sh b/manual/manual.sh
new file mode 100755
index 000000000..c4673938a
--- /dev/null
+++ b/manual/manual.sh
@@ -0,0 +1,59 @@
+#!/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
+