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