Re: /usr/man vs /usr/share/man

2001-01-08 Thread Carel Fellinger
On Mon, Jan 08, 2001 at 03:55:14PM -0800, Henry House wrote: > Does anyone know why both /usr/man and /usr/share/man both exist in Debian > systems (woody and potato) and contain different files? we are in the process of converting from /usr/man to /usr/share/man. man maybe shared between machines

Re: /usr/man vs /usr/share/man

2001-01-08 Thread Joey Hess
Henry House wrote: > Does anyone know why both /usr/man and /usr/share/man both exist in Debian > systems (woody and potato) and contain different files? Because we're in the middle of a transition from the former to the latter. man currently looks for man pages in both directories. -- see shy j

/usr/man vs /usr/share/man

2001-01-08 Thread Henry House
Does anyone know why both /usr/man and /usr/share/man both exist in Debian systems (woody and potato) and contain different files? -- Henry House OpenPGP key available from http://hajhouse.org/hajhouse.asc pgpDLimaBf1NS.pgp Description: PGP signature