gnu/dist/texinfo/makeinfo/tests/html-docdesc.txi

   1 \input texinfo
   2 @setfilename html-docdesc.info
   3 @settitle HTML docdesc test
   4
   5 @documentdescription
   6 This is the explicit document description.
   7 @end documentdescription
   8
   9 @node Top
  10 @top Top of HTML docdesc test
  11
  12 This is the top.
  13
  14 @bye