Bug#463892: man-db: /usr/local/share/man vs /usr/local/man

tags 463892 fixed-upstream thanks On Mon, Feb 04, 2008 at 12:33:13AM +, Reuben Thomas wrote: Shouldn't /usr/local/share/man now be the mandatory path and /usr/local/man an optional one, mirroring the paths under /usr? Yes, it probably should. Fixed upstream: Mon Feb 4 08:28:33 GMT 2008

Bug#463892: man-db: /usr/local/share/man vs /usr/local/man

Package: man-db Version: 2.5.0-4 Severity: minor Shouldn't /usr/local/share/man now be the mandatory path and /usr/local/man an optional one, mirroring the paths under /usr? -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (700, 'testing'), (601, 'unstable'),