Description: Replace deprecated texi2html with makeinfo
Forwarded: http://www.zsh.org/mla/workers/2013/msg00723.html
Author: Axel Beckert
Index: zsh/Doc/Makefile.in
===================================================================
--- zsh.orig/Doc/Makefile.in 2013-01-14 01:49:37.000000000 +0100
+++ zsh/Doc/Makefile.in 2013-08-26 08:25:54.468926080 +0200
@@ -40,7 +40,7 @@
MAKEINFO = makeinfo
TEXI2DVI = texi2dvi
DVIPS = dvips
-TEXI2HTML = @TEXI2HTML@ --output . --ifinfo --split=chapter --node-files
+TEXI2HTML = makeinfo --html --output . --ifinfo --split=chapter --node-files
.SUFFIXES: .yo .1