Subject: Re: where to install man pages (was Re: CVS commit: pkgsrc/doc)
To: None <>
From: Johnny Lam <>
List: tech-pkg
Date: 01/17/2005 16:24:55
Julio M. Merino Vidal wrote:
> On Mon, 2005-01-17 at 11:25 -0800, Jeremy C. Reed wrote:
>>On Sun, 16 Jan 2005, Julio M. Merino Vidal wrote:
>>>Modified Files:
>>>	pkgsrc/doc: TODO
>>>Log Message:
>>>New suggested cleanup:
>>>o Fix packages installing manual pages under share/man to install
>>>  them directly under man.
>>I have my pkgsrc patched for maybe a year to honor a PKGMANDIR variable
>>which I set on some systems to share/man (and defaults to just "man").
>>Then for GNU_CONFIGURE packages I add:
>>I have several packages patched to also honor my PKGMANDIR.
>>I'd like to get this committed all to pkgsrc, but didn't receive much
>>(any?) feedback when I provided patches and discussion before.
>>This is similar to the configurable "info" directory (but in some cases is
>>not as easy).
> I don't think we should make that configurable for consistency reasons,
> and to avoid potential breakage due to packages not properly honoring
> the setting.  Better stick to a policy and apply it.  (Though, 
> personally, I'd like to see 'man' and 'info' moved inside PREFIX/share;
> we even do this in the base system.)

Yes, I would prefer that we do it all either one way or the other.
Having experienced the pain of PKG_SYSCONFBASE and VARBASE, I would much
rather that we not have Yet Another Variable to tweak the /usr/pkg
hierarchy and have to fix lots of packages to deal with the new

As for whether we should move 'man' and 'info' into ${PREFIX}/share, I
would rather that we not do that.  The way that it is right now is
rather low maintenance since we match the defaults and expectations for
quite a lot of packages, and I don't see any real benefit to moving them
at this point in the pkgsrc timeline.


	-- Johnny Lam <>