Subject: Re: texinfo files To: Jim Wise <firstname.lastname@example.org> From: Perry E. Metzger <email@example.com> List: current-users Date: 09/23/1998 00:28:33
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"?