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

[Karl Berry]

    after the @code{@@end
     titlepage} (@pxref{titlepage}) and before any sectioning command.

Will do, thanks.