dist/doc/texinfo.txi

255 * documentdescription::         Document summary for the HTML output.
2971 description in the @samp{<head>} part (@pxref{documentdescription}).
3800 * documentdescription::         Document summary for the HTML output.
3808 @node documentdescription
3809 @subsection @code{@@documentdescription}: Summary Text
3815 @findex documentdescription
3821 (@pxref{settitle}).  To change this, use the @code{@@documentdescription}
3825 @@documentdescription
3827 @@end documentdescription
3837 @code{@@documentdescription} must be specified before the first node of
17079 @item @@documentdescription
17081 with @code{@@end documentdescription}.  @xref{documentdescription,,
17082 @code{@@documentdescription}}.