Probably texinfo.texi typo

[Askar Safin]

It seems there is a typo in texinfo.texi (right?), patch
included. Please, CC me if you want to answer.

==
Askar Safin
http://vk.com/safinaskar
Kazan, Russia

--- a/doc/texinfo.texi 2015-02-07 22:41:33.604228200 +0000
+++ b/doc/texinfo.texi     2015-02-07 23:00:37.764228200 +0000
@@ -1805,7 +1805,7 @@
 supports the same level of output customization as
 @command{texi2html}, an independent program originally written by
 Lionel Cons, later with substantial work by many others.  The many
-additional features needed to make @command{texi2html} a replacement
+additional features needed to make @command{texi2any} a replacement
 for @command{makeinfo} were implemented by Patrice Dumas.  The first
 never-released version of @command{texi2any} was based on the
 @command{texi2html} code.  That implementation, however, was abandoned