Description: Replace deprecated texi2html with makeinfo 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