1
0
Fork 0
bash/debian/patches/use-system-texi2html.diff
Daniel Baumann fc8a52c443
Adding debian version 5.2.37-2.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
2025-06-21 06:49:22 +02:00

13 lines
390 B
Diff

--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -70,8 +70,8 @@ TEXINDEX = texindex
TEX = tex
MAKEINFO = makeinfo
-TEXI2DVI = ${SUPPORT_SRCDIR}/texi2dvi
-TEXI2HTML = ${SUPPORT_SRCDIR}/texi2html
+TEXI2DVI = texi2dvi
+TEXI2HTML = texi2html
MAN2HTML = ${BUILD_DIR}/support/man2html
HTMLPOST = ${srcdir}/htmlpost.sh
QUIETPS = #set this to -q to shut up dvips