Spurious diagnostics from texi2dvi -E

[Sergey Poznyakoff]

Hello,

When used with -E option, texi2dvi (more precisely, makeinfo) issues the
following diagnostics:

-:LINE: @menu seen before first @node
-:LINE: perhaps your @top node should be wrapped in @ifnottex rather than 
@ifinfo?

This happens even though the @top node is inclosed in @ifnottex, as in
the attached document.  This is because the entire conditional gets commented
out prior for being piped to makeinfo by a sed expression on lines 1593-
1595.  The intent is obviously to eliminate the top node from the output.
I'm not sure what to do with that.

Regards,
Sergey

\input texinfo @c -*-texinfo-*-
@setfilename t.info
@settitle Test

@ifnottex
@node Top
@top Preprocessor test

blah blah

@end ifnottex

@menu
* Preface::
@end menu

@node Preface
@chapter Preface

word word

@bye