TeX does not begin to generate page headings for a standard Texinfo
file until it reaches the @end titlepage command.  Thus, the
title and copyright pages are not numbered.  The @end
titlepage command causes TeX to begin to generate page headings
according to a standard format specified by the
@setchapternewpage command that precedes the
@titlepage section.
  
There are four possibilities:
@setchapternewpage command
     @setchapternewpage on.
     @setchapternewpage on
     @setchapternewpage off
     @headings double command; see
The @headings Command.)
     @setchapternewpage odd
     Texinfo lacks an @setchapternewpage even command.