From 1eec255e60f2854b4dd1fa212f02d57eb31c9f19 Mon Sep 17 00:00:00 2001
From: KrystalDelusion <krystinedawn@yosyshq.com>
Date: Thu, 8 Dec 2022 05:54:08 +1300
Subject: Removing manual files

---
 manual/manual.sh | 59 --------------------------------------------------------
 1 file changed, 59 deletions(-)
 delete mode 100755 manual/manual.sh

(limited to 'manual/manual.sh')

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
-
-- 
cgit v1.2.3