File: use-system-texi2html.diff

package info (click to toggle)
bash 4.4-5
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 36,372 kB
  • sloc: ansic: 103,485; sh: 7,655; yacc: 5,214; makefile: 4,357; perl: 4,227; asm: 48; awk: 23; sed: 16
file content (15 lines) | stat: -rw-r--r-- 449 bytes parent folder | download | duplicates (5) 
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