From 0644e1b56a6935dbb6656649e6040aa014c821f2 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 11 Sep 2025 14:42:54 +0200 Subject: [PATCH 1/3] Revise make_doc Make it more uniform across all our packages --- doc/make_doc | 22 ++++++++++++++-------- 1 file changed, 14 insertions(+), 8 deletions(-) diff --git a/doc/make_doc b/doc/make_doc index 96c51e1..e6b6e07 100755 --- a/doc/make_doc +++ b/doc/make_doc @@ -2,14 +2,20 @@ set -e echo "TeXing documentation" -rm -f manual.aux manual.dvi manual.idx manual.ilg manual.ind manual.lab manual.log manual.six manual.toc -tex manual -../../../doc/manualindex manual -tex manual +# 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 -echo "Creating PDF version" -pdftex manual; pdftex manual -echo "Creating HTML documentation" +# 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 mkdir -p ../htm -../../../etc/convert.pl -c -i -u -n cryst . ../htm +echo "Creating HTML documentation" +../../../etc/convert.pl -i -u -c -n cryst . ../htm From 4fb825e80225ffb8d96366a0a4636c8818a4c812 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Sat, 13 Sep 2025 23:02:35 +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 e6b6e07..c7afa17 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 f81a2e3be075f054634fc710383a2ebecf76f6a9 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Sun, 14 Sep 2025 22:37:16 +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 c7afa17..be06cd0 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