Replace deprecated "texi2html" with recommended "makeinfo --html"?

[Axel Beckert <abe@xxxxxxxxxxxxxxx>]

Hi,

according to https://wiki.debian.org/Texi2htmlTransition and
http://www.nongnu.org/texi2html/, texi2html is deprecated and should
be replaced with makeinfo and appropriate options.

For Debian's zsh package, I've added the following patch for now:

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

This is the minimal variant to get the HTML docs being built without
texi2html, but I suspect there could be adapted variable names and the
check for texi2html could be removed from configure.ac.

In general, the move from the standalone texi2html to texinfo's
makeinfo for HTML generation would mean that the list of build
dependencies could be reduced without losing any functionality or
having to add another build dependency -- because makeinfo is already
needed for building other variants of Zsh's documentation.

		Kind regards, Axel
-- 
/~\  Plain Text Ribbon Campaign                   | Axel Beckert
\ /  Say No to HTML in E-Mail and News            | abe@xxxxxxxxxxxxxxx  (Mail)
 X   See http://www.asciiribbon.org/              | abe@xxxxxxxxx (Mail+Jabber)
/ \  I love long mails: http://email.is-not-s.ms/ | http://noone.org/abe/ (Web)