From mboxrd@z Thu Jan  1 00:00:00 1970
From: "Eli Zaretskii" <eliz@is.elta.co.il>
To: ac131313@cygnus.com
Cc: jimb@cygnus.com, gdb@sources.redhat.com
Subject: Re: GDB's texi to html conversion; Was: [Jim Blandy <jimb@cygnus.com>] RFA: Don't pass -glossary flag to texi2html
Date: Fri, 12 Oct 2001 10:23:00 -0000
Message-id: <968-Fri12Oct2001192329+0200-eliz@is.elta.co.il>
References: <npbsjedkou.fsf@zwingli.cygnus.com> <3405-Fri12Oct2001001736+0200-eliz@is.elta.co.il> <3BC61DEC.1080902@cygnus.com> <nphet5d83m.fsf@zwingli.cygnus.com> <5567-Fri12Oct2001083936+0200-eliz@is.elta.co.il> <3BC71C63.8010401@cygnus.com>
X-SW-Source: 2001-10/msg00128.html

> 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 ;-)