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.