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.