> > 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
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
