\input texinfo @setfilename menuli.info @c extra
  • generated after @c From: Marius Groeger , 13nov98. @menu * entry1:: @end menu @bye