diff options
author | rillig <rillig@pkgsrc.org> | 2007-10-09 14:31:31 +0000 |
---|---|---|
committer | rillig <rillig@pkgsrc.org> | 2007-10-09 14:31:31 +0000 |
commit | e32f6e30d6314bad35292d8249fcb634f79d345b (patch) | |
tree | fe0b2cfe26511de01912b917ceee4f308a3d8edd /mk | |
parent | 0449659a9e24aa037b122b4ff84f13d222bd6f75 (diff) | |
download | pkgsrc-e32f6e30d6314bad35292d8249fcb634f79d345b.tar.gz |
Provided some reason for having PKGMANDIR and PKGINFODIR. And, by the
way, MANINSTALL isn't user-settable.
Diffstat (limited to 'mk')
-rw-r--r-- | mk/defaults/mk.conf | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/mk/defaults/mk.conf b/mk/defaults/mk.conf index 2b557058351..d0f762af1fc 100644 --- a/mk/defaults/mk.conf +++ b/mk/defaults/mk.conf @@ -1,4 +1,4 @@ -# $NetBSD: mk.conf,v 1.161 2007/09/30 11:23:08 rillig Exp $ +# $NetBSD: mk.conf,v 1.162 2007/10/09 14:31:31 rillig Exp $ # # This file provides default values for variables that may be overridden @@ -38,6 +38,7 @@ MANINSTALL?= maninstall catinstall # Specify manpage installation types. # Possible: maninstall, catinstall, both types or empty # Default: maninstall catinstall +# FIXME: This variable is not user-settable and must be moved away from here. #MANZ= # gzip manual pages at installation time @@ -271,7 +272,8 @@ VARBASE?= /var PKGINFODIR?= info # The subdirectory of PREFIX that holds the GNU info files and the -# directory index file ("dir"). +# directory index file ("dir"). Using a value different from the +# default can be useful when LOCALBASE=/usr. # # Possible: A sane pathname. # @@ -280,10 +282,12 @@ PKGINFODIR?= info # # Note: the support for custom setting (not "info") is not complete. # +# See also: PKGMANDIR PKGMANDIR?= man # The subdirectory of PREFIX that holds the manual pages and their -# subdirectories (e.g. man1, man7). +# subdirectories (e.g. man1, man7). Using a value different from the +# default can be useful when LOCALBASE=/usr. # # Possible: Any sane pathname. # @@ -291,6 +295,8 @@ PKGMANDIR?= man # * share/man # # Note: the support for custom setting (not "man") is not complete. +# +# See also: PKGINFODIR # USE_XPKGWEDGE?= yes # Whether we should use xpkgwedge or not to install all packages into |