Re: Spurious diagnostics from texi2dvi -E

[Patrice Dumas]

On Mon, Apr 06, 2015 at 11:31:20PM +0000, Karl Berry wrote:
> 
>     Contents of @iftex shouldn't be TeX commands anyway, TeX commands
>     would occur in @tex.
> 
> --iftex necessarily enables parsing of @tex as well as @iftex, like all
> the --ifFMT options.

But @tex is parsed (maybe later discarded) even if --iftex is not given, 
so this should not be an issue for makeinfo now.  Now, it could probably
be possible to come up with pure TeX code that breaks makeinfo but it
should not be that common.

> I strongly disagree.  Telling users to change their documents should
> always be a extremely reluctant last resort.  @menu is inherently
> non-TeX, so it should be treated as such.  I'd propose changing makeinfo
> simply to omit that diagnostic if --iftex is specified.  If that does
> not suit, I'd propose adding a configuration variable explicitly to tell
> makeinfo to it complaint, and then texi2dvi can pass that variable.
> Whatever is needed ...

There is a customization variable, SHOW_MENU which should be unset when
one do not want errors about menus.  It is unset for docbook output for
instance.  I should not automatically be set if --iftex is specified,
but texi2dvi with the new command line option could pass it to makeinfo.
If there are still errors or warnings about menus when set it should be
considered a bug.

-- 
Pat