Re: [rfa:doco, 6.0] (C) and other fixes

["Eli Zaretskii" <eliz@elta.co.il>]

> Date: Thu, 07 Aug 2003 17:35:58 -0400
> From: Andrew Cagney <ac131313@redhat.com>
> >> 
> >> I think, though, that there is a makeinfo bug here.  It should have 
> >> reported an error due to references to missing sections.
> > 
> > 
> > What references were pointing to the missing sections?
> 
> If I add @bye to the end of agentexpr.texi "make info" runs cleanly and 
> the document looks ok (the @bye appears to be ignored).  However, if the 
> @bye is put in gdb.texinfo just after the @include agentexpr.texi, or if 
> @bye is put at the start of agentexpr.texi, "make info" gets errors 
> about undefined references to "Copying", "Index" and "GNU Free ...".
> 
> TeX, on the other hand `dies a death' in both cases (which is what I'd 
> expect makeinfo to do).

I'm confused: where is the bug in makeinfo that you thought about?
AFAIU, makeinfo behaves correctly: produces a valid Info document in
the first case and complains about the second.