Subject: Re: Importing texinfo: proposal
To: Todd Vierling <>
From: Jim Bernard <>
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