Jim Wise writes:
> I'm more concerned about us installing documentation in /usr/share that
> we don't ship a browser for.  Perhaps we should bite the bullet and
> bring texinfo into /usr/src/gnu?

You sure you don't mean "info"?

.pm