On Fri, 25 Sep 1998, Todd Vierling wrote:

> Distribution compilers don't need TeX.  Makeinfo is a command-line
> self-contained utility.
> 
> The whole schism was over whether or not to put, e.g., texi2dvi into the
> tree, which requires TeX and wouldn't touch our doc.

Then I'm confused. I thought the whole thing was that the texinfo stuff
NEEDED TeX, which we didn't want in the tree.

If the only problem (other than adding more GPL'd programs) is that some
of the texinfo tools need TeX, I'd say let's include them all in /src/gnu,
and have the in-tree texi2dvi mention that you need TeX installed if it
fails to fork the TeX tools.

Take care,

Bill