blob: 509a90a8a52c13cbbb9687ba6fcddfc6b067cbb4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
Description: Replace deprecated texi2html with makeinfo
Forwarded: http://www.zsh.org/mla/workers/2013/msg00723.html
Author: Axel Beckert <abe@debian.org>
Index: zsh/Doc/Makefile.in
===================================================================
--- zsh.orig/Doc/Makefile.in 2014-08-11 17:45:12.000000000 +0200
+++ zsh/Doc/Makefile.in 2014-08-11 17:45:12.000000000 +0200
@@ -41,7 +41,7 @@
MAKEINFO = makeinfo
TEXI2DVI = texi2dvi
DVIPS = dvips
-TEXI2HTML = @TEXI2HTML@ --output . --ifinfo --split=chapter --node-files \
+TEXI2HTML = makeinfo --html --output . --ifinfo --split=chapter --node-files \
--init-file texi2html.conf
.SUFFIXES: .yo .1
|
