[tools-discuss] Re: [companion-discuss] Proposing /usr/gnu

[Rainer Orth]

Jonathan Adams writes:

> Couldn't we have both worlds?  The manpages under /usr/gnu/man/man1g,
> and a symlink from /usr/share/man/man1g -> /usr/gnu/man/man1g?

Seems useful, although it may require some (heavy?) surgery to make the GNU
tools install their man1 man pages into man1g.  So maybe it should either
be /usr/gnu/man/man1 or (like what is done in sfwnv) patches/updates to the
GNU man pages to support a different section.

	Rainer

-----------------------------------------------------------------------------
Rainer Orth, Faculty of Technology, Bielefeld University