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 $*