GDB's texi to html conversion; Was: [Jim Blandy <jimb@cygnus.com>] RFA: Don't pass -glossary flag to texi2html

[Andrew Cagney]

>> Date: Fri, 12 Oct 2001 12:37:55 -0400
>> From: Andrew Cagney <ac131313@cygnus.com>
>> 
>> I do have reservations over using a non-released version of makeinfo.
> 
> 
> Obviously, it's your call.  IMHO the generation of HTML is not
> terribly important because I expect it to be used almost exclusively
> for the GDB Web page.  It's not really a user-level feature, it's a
> maintainer's feature.  If that's true, using a non-released version
> shouldn't harm anyone but you  [;-)] 

When it comes down to it, I probably shouldn't care - the most important 
thing is good web pages.  Where can I get this magic texinfo?

Andrew