summaryrefslogtreecommitdiffstats
path: root/debian/patches/use-system-texi2html.diff
blob: 274d9e2c1cd7d2aee6fb64db0baf38e27bc7473c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Index: b/doc/Makefile.in
===================================================================
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -70,8 +70,8 @@
 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
 INFOPOST    = ${srcdir}/infopost.sh