From 41379d12b16fc55ace8b05335dddeb59e2844f49 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 12 Sep 2025 09:54:18 +0200 Subject: [PATCH 1/3] Sync doc/make_doc with other packages --- doc/make_doc | 23 +++++++++-------------- 1 file changed, 9 insertions(+), 14 deletions(-) diff --git a/doc/make_doc b/doc/make_doc index 19c3f06..f7b3661 100755 --- a/doc/make_doc +++ b/doc/make_doc @@ -2,25 +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 -tex manual -# ... and build its bibliography (uncomment if there is a `manual.bib') +pdftex manual +# ... and build its bibliography bibtex manual -# TeX the manual again to incorporate the ToC ... and build the index -tex manual -tex 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 -tex manual -# Create PDF version -pdftex manual; pdftex manual +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 ActionTestOldDocPackage . ../htm - -############################################################################# -## -#E From 053b5034f1ce12bbfae79efc0c1d6a803788a88e Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 12 Sep 2025 21:01:43 +0200 Subject: [PATCH 2/3] WIP --- doc/make_doc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/make_doc b/doc/make_doc index f7b3661..148d0e9 100755 --- a/doc/make_doc +++ b/doc/make_doc @@ -8,7 +8,8 @@ rm -f manual.aux manual.pdf manual.idx manual.ilg manual.ind manual.lab manual.l pdftex manual # ... and build its bibliography bibtex manual -# TeX the manual again to incorporate the ToC +# TeX the manual again to incorporate the ToC +pdftex manual pdftex manual # ... and build the index ../../../doc/manualindex manual From e6f073e1df0cb34237d477ab751ad07d24e8d62f Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 12 Sep 2025 21:06:49 +0200 Subject: [PATCH 3/3] WIP --- doc/make_doc | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/doc/make_doc b/doc/make_doc index 148d0e9..9b3ac74 100755 --- a/doc/make_doc +++ b/doc/make_doc @@ -5,15 +5,19 @@ 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 manual # ... and build its bibliography bibtex manual # TeX the manual again to incorporate the ToC -pdftex manual -pdftex manual +tex manual +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