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
