diff --git a/src/doc/manual/Makefile b/src/doc/manual/Makefile
index 12775c6ec..b25aba539 100644
--- 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
diff --git a/src/doc/manual/x-texi2pdf b/src/doc/manual/x-texi2pdf
deleted file mode 100755
index a7382c76c..000000000
--- a/src/doc/manual/x-texi2pdf
+++ /dev/null
@@ -1,7 +0,0 @@
-#! /bin/sh -
-
-export PATH=.:${PATH}
-
-export PDFTEX=z-texi2pdfetex-fix-aux
-
-texi2pdf $*