Re: texi2dvi outputs toc commands on stdout for @include files

[Karl Berry]

Hi Patrice,

    the line that should be writen in the .toc file is written to stdout
    ...
    @numchapentry{chap}{1}{}{2}

This happens because @contents occurs after @top.  That's never been
supported -- @contents has to be outside all of the other material,
either at the beginning or the end, not in the middle.  Reduced test case:

\input texinfo.tex
@setfilename t.info
@top top
@contents
@chapter chap
@bye

I suppose texinfo.tex could detect this and issue an error instead of
just weird output, but it doesn't seem too critical.  On the other hand,
it would be nice for makeinfo to output a warning :).

Thanks,
k