From 4ead2c628daf5429a8bf4fbc31a8d5a2f9c6b874 Mon Sep 17 00:00:00 2001
From: c-kloukinas <c.kloukinas@gmail.com>
Date: Tue, 2 Dec 2025 15:38:39 +0000
Subject: [PATCH] Deleted this file as it's no longer needed.

---
 src/doc/manual/x-texi2pdf | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 src/doc/manual/x-texi2pdf

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