\input texinfo @setfilename top.info @node start @top @bye