Delete x-texi2pdf

Added the full path to the local script, so that texi2pdf can find it always.
2025-12-15 15:21:03 -08:00 · 2025-11-28 16:17:09 +00:00 · 2025-11-28 16:13:31 +00:00
2 changed files with 3 additions and 8 deletions
--- a/src/doc/manual/Makefile
+++ b/src/doc/manual/Makefile
@ -1,5 +1,7 @@
 FILES= *.txi */*.txi figures/*
 CWD=$(shell pwd)
 .PHONY: all pdf info html
 all: pdf info html
@ -9,7 +11,7 @@ info: ecl.info.gz
 html: html/index.html
 manual.pdf: $(FILES)
-	./x-texi2pdf manual.txi
+	PDFTEX=$(CWD)/z-texi2pdfetex-fix-aux texi2pdf manual.txi
 ecl.info.gz: $(FILES)
 	$(MAKEINFO) --no-split manual.txi
--- a/src/doc/manual/x-texi2pdf
+++ b/src/doc/manual/x-texi2pdf
@ -1,7 +0,0 @@
 #! /bin/sh -
 export PATH=.:${PATH}
 export PDFTEX=z-texi2pdfetex-fix-aux
 texi2pdf $*
Author	SHA1	Message	Date
Christos Kloukinas	18205a7307	Delete x-texi2pdf	2025-11-28 16:17:09 +00:00
c-kloukinas	a1a29baf11	Added the full path to the local script, so that texi2pdf can find it always.	2025-11-28 16:13:31 +00:00