On Sat, Feb 04, 2012 at 03:16:34PM +0100, Patrice Dumas wrote:
> Hello,
>
> With the texinfo.tex from cvs version and texi2dvi --version
> texi2dvi (GNU Texinfo 4.13) 1.135
> the line that should be writen in the .toc file is written to stdout
> (or stderr) instead, when the sectioning @-command is in an @include
> file.
>
> Here is the output, notice the @numchapentry{chap}{1}{}{2}:
I just tested that the same happens with the texinfo.tex coming with
a debian [version 2008-04-18.10] which, I guess, corresponds to 4.13.
--
Pat
