Merge branch 'develop' into 'develop'

Small fixes so that manual.pdf can be created See merge request embeddable-common-lisp/ecl!360
Added local script to be called first instead of texi2pdf, so that it can set
2025-12-06 02:40:26 -08:00 · 2025-11-28 12:40:06 +00:00 · 2025-11-28 12:37:51 +00:00
3 changed files with 8 additions and 3 deletions
--- a/src/doc/manual/Makefile
+++ b/src/doc/manual/Makefile
@ -9,7 +9,7 @@ info: ecl.info.gz
 html: html/index.html

 manual.pdf: $(FILES)
-	PDFTEX=z-texi2pdfetex-fix-aux texi2pdf manual.txi
+	./x-texi2pdf manual.txi

 ecl.info.gz: $(FILES)
 	$(MAKEINFO) --no-split manual.txi
--- a/src/doc/manual/x-texi2pdf
+++ b/src/doc/manual/x-texi2pdf
@ -0,0 +1,7 @@
+#! /bin/sh -
+
+export PATH=.:${PATH}
+
+export PDFTEX=z-texi2pdfetex-fix-aux
+
+texi2pdf $*
--- a/src/doc/manual/z-texi2pdfetex-fix-aux
+++ b/src/doc/manual/z-texi2pdfetex-fix-aux
@ -17,5 +17,3 @@ for f in x *.aux ; do
 		mv temp $f
 	fi
 done
-
-echo 'Called '$0 >&2