Where in the (info) manual is the license statement supposed to go?

[Daniel Jacobowitz]

There are two stanzas in gdb.texinfo talking about the GNU FDL as it
applies to this document (e.g. what the Front-Cover Texts are).  One's
inside @ifinfo at the very beginning and the other's inside @titlepage.

Are these supposed to show up in the Info document?  The @ifinfo one is
included in gdb.info, but in such a way that the info browser never
displays it - it's not in a node.  The @titlepage one is presumably
intended for other forms of manual.

-- 
Daniel Jacobowitz
CodeSourcery, LLC