1top.texi:16: @menu seen before first @node 2top.texi:16: perhaps your @top node should be wrapped in @ifnottex rather than @ifinfo? 3