@page
: Start a New PageA line containing only @page
starts a new page in a printed
manual. In other formats, without the concept of pages, it starts a
new paragraph. A @page
command is often used in the
@titlepage
section of a Texinfo file to start the copyright
page.