Problem with @setcontentsaftertitlepage

[Akim Demaille]

Hi!

I must be doing something wrong, but I get failures when using 
@setcontentsaftertitlepage in TeX (other backends are happy with it).  This is 
Texinfo 6.0.  I tried with the current texinfo.tex.

$ cat foo.texi
\input texinfo @c -*-texinfo-*-
@c %**start of header

@setfilename foo.info
@setcontentsaftertitlepage
@settitle Foo

@titlepage
@title Foo
@end titlepage

@contents

@bye
$ texi2dvi foo.texi
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/MacPorts 2015_8) 
(preloaded format=etex)
 restricted \write18 enabled.
entering extended mode
(./foo.texi (./texinfo.tex Loading texinfo [version 2016-02-02.07]: pdf,
fonts, markup, glyphs, page headings, tables, conditionals, indexing,
sectioning, toc, environments, defuns, macros, cross references, insertions,
(/opt/local/share/texmf/tex/generic/epsf/epsf.tex
This is `epsf.tex' v2.7.4 <14 February 2011>
) localization, formatting, and turning on texinfo input format.) [1]
./foo.texi:10: This command can appear only outside of any environment, not in 
environment @titlepage.
@badenverr ...temp , not @inenvironment @thisenv }
                                                  
@checkenv address@hidden @thisenv @temp @else @badenverr 
                                                  @fi 
@chapmacro #1#2#3->@checkenv {}
                               @let @prevchapterdefs address@hidden @let ...

@startcontents ... @chapmacro {#1}{Yomitfromtoc}{}
                                                  @savepageno = @pageno @beg...

@contents ->@startcontents address@hidden }
                                         @openin 1 @tocreadfilename @space @...

@Etitlepage ...etcontentsaftertitlepage @contents 
                                                  @global @let @contents = @...
...
l.10 @end titlepage
                   
? x
Output written on foo.dvi (1 page, 240 bytes).
Transcript written on foo.log.
/opt/local/bin/texi2dvi: etex exited with bad status, quitting.


There’s no big deal: the generated PDF is fine, and anyway, it’s just simpler 
to place @contents at its appropriate place.  But maybe you wanted to know.

Thanks!