Subject: Re: Importing texinfo: proposal
To: Todd Vierling <tv@pobox.com>
From: Jim Bernard <jbernard@ox.mines.edu>
List: tech-userlevel
Date: 01/02/1999 20:20:59
On Sat, Jan 02, 1999 at 09:12:51PM -0500, Todd Vierling wrote:
...
> - info files would install in /usr/share/doc/info, and the default Info
> directory would be in /usr/share/doc/info/dir.
I'd prefer /usr/share/info. The info tree should be at the same depth as
the man tree--it's not a degenerate subspecies of doc. I realize that hier(7)
states that doc is for miscellaneous docs, but info files are a complete,
systematic documentation system for the GNU software in the tree, not
miscellanea.