Re: texinfo.tex doesn't allow underscore in flag names for @ifset etc.

[W. L. Estes]

> > The texinfo manual states the following:
> > 
> >   Texinfo is a documentation system that uses a single source file to
> > produce both online information and printed output.
> > 
> > That's the first sentence from the Top node of the texinfo manual.
> > 
> > So, it's wrong  if the online processor and the hardcopy processor do
> > not accept the same language.
> 
> I think it's more like the case with GCC: it accepts ANSI/ISO C, but
> also allows extensions.

but makeinfo and texi2dvi are released as part of *one* package.

> Perhaps we should have an option to flag all those extensions, like
> GCC's "-pedantic".  But someone should prepare the list of all the
> things TeX doesn't like, sigh...

That would help people a lot. especially since TeX error messages are
usually unhelpful in diagnosing these problems--which is doubly
confusing since makeinfo accepts things the 
TeX does not. And the manual said... etc.

--Will