From df20a59bbc5bdc9bf24058d3ca40bc2658e9b3dd Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Thu, 11 Sep 2025 14:43:20 +0200
Subject: [PATCH 1/3] Revise make_doc

Make it more uniform across all our packages
---
 doc/make_doc | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/doc/make_doc b/doc/make_doc
index 028b97c..2eb2110 100755
--- a/doc/make_doc
+++ b/doc/make_doc
@@ -2,15 +2,20 @@
 set -e
 
 echo "TeXing documentation"
+# delete old stuff to avoid spurious or "hidden errors" caused by their presence
+rm -f manual.aux manual.pdf manual.idx manual.ilg manual.ind manual.lab manual.log manual.six manual.toc
 # TeX the manual
 pdftex manual
+
+
+# TeX the manual again to incorporate the ToC 
 pdftex manual
+# ... and build the index
 ../../../doc/manualindex manual
 # Finally TeX the manual again to get cross-references right
 pdftex manual
 
 # The HTML version of the manual
-rm -rf ../htm
-mkdir ../htm
+mkdir -p ../htm
 echo "Creating HTML documentation"
 ../../../etc/convert.pl -i -u -c -n rig . ../htm

From af59bd5f628ae1862a764fd0c1399c8a49d4acf9 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Sat, 13 Sep 2025 23:02:57 +0200
Subject: [PATCH 2/3] tweak

---
 doc/make_doc | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/doc/make_doc b/doc/make_doc
index 2eb2110..2430c8e 100755
--- a/doc/make_doc
+++ b/doc/make_doc
@@ -4,15 +4,20 @@ set -e
 echo "TeXing documentation"
 # delete old stuff to avoid spurious or "hidden errors" caused by their presence
 rm -f manual.aux manual.pdf manual.idx manual.ilg manual.ind manual.lab manual.log manual.six manual.toc
-# TeX the manual
-pdftex manual
 
-
-# TeX the manual again to incorporate the ToC 
-pdftex manual
+# TeX the manual
+tex manual
+# ... and build its bibliography
+#bibtex manual
+# TeX the manual again to incorporate the ToC
+tex manual
 # ... and build the index
 ../../../doc/manualindex manual
 # Finally TeX the manual again to get cross-references right
+tex manual
+
+# Create PDF version
+pdftex manual
 pdftex manual
 
 # The HTML version of the manual

From 7466a84a5e201e88f20cc9fc94bcbee1d2ada6ff Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Sun, 14 Sep 2025 23:14:26 +0200
Subject: [PATCH 3/3] clean

---
 doc/make_doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/make_doc b/doc/make_doc
index 2430c8e..0290847 100755
--- a/doc/make_doc
+++ b/doc/make_doc
@@ -3,7 +3,7 @@ set -e
 
 echo "TeXing documentation"
 # delete old stuff to avoid spurious or "hidden errors" caused by their presence
-rm -f manual.aux manual.pdf manual.idx manual.ilg manual.ind manual.lab manual.log manual.six manual.toc
+rm -f manual.{aux,bbl,blg,dvi,idx,ilg,ind,lab,log,pdf,ps,six,toc}
 
 # TeX the manual
 tex manual