Merge branch 'develop' into 'develop'

Small fixes so that manual.pdf can be created

See merge request embeddable-common-lisp/ecl!360

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

src/doc/manual/x-texi2pdf

@@ -0,0 +1,7 @@
+#! /bin/sh -
+
+export PATH=.:${PATH}
+
+export PDFTEX=z-texi2pdfetex-fix-aux
+
+texi2pdf $*

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