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

[Andrew Cagney <ac131313@redhat.com>]

>> 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.

It should complain in all cases.  For some strange reason makeinfo 
silently ignores @bye as the last line of an included file (well at 
least the file agentexpr.texi). texinfo doesn't do this.  @include mentions:

> Likewise, you should not end an included file with an
> `@bye' command; nothing after `@bye' is formatted.

enjoy,
Andrew