texi2dvi outputs toc commands on stdout for @include files

[Patrice Dumas]

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}:

$ texi2dvi t.texi
This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian)
entering extended mode
(./t.texi (./texinfo.tex Loading texinfo [version 2012-01-19.16]: pdf, fonts,
markup, glyphs, page headings, tables, conditionals, indexing, sectioning,
toc, environments, defuns, macros, cross references, insertions, (./epsf.tex
This is `epsf.tex' v2.7.4 <14 February 2011>
) localization, formatting, and turning on texinfo input format.) (./t.aux)
(top) [1] (./t.toc) [-1] (./f.texi Chapter 1) [2
@numchapentry{chap}{1}{}{2}
] )
Output written on t.dvi (3 pages, 920 bytes).


I attach t.texi and f.texi, to test:
texi2dvi t.texi

-- 
Pat

t.texi
Description: TeXInfo document

f.texi
Description: TeXInfo document