diff options
| author | jkim <jkim@FreeBSD.org> | 2010-05-25 20:16:36 +0000 |
|---|---|---|
| committer | jkim <jkim@FreeBSD.org> | 2010-05-25 20:16:36 +0000 |
| commit | aec939697631599c4eed310c30d19b6c8de568e3 (patch) | |
| tree | 48cf4ac268ace3ace66e92dd7f597d425ed2937c /gnu/usr.bin | |
| parent | 7304692e617d7bac26ec574745838213980a320e (diff) | |
| download | FreeBSD-src-aec939697631599c4eed310c30d19b6c8de568e3.zip FreeBSD-src-aec939697631599c4eed310c30d19b6c8de568e3.tar.gz | |
MFC: r208320
Add a new build option, MAN_UTILS. This option lets you control building
utilities and related support files for manual pages, which were previously
controlled by MAN. For POLA, the default depends on MAN, i.e., WITHOUT_MAN
implies WITHOUT_MAN_UTILS and WITH_MAN implies WITH_MAN_UTILS.
Note this patch implicitly fixes a documentation bug of src.conf(5), which
says WITHOUT_MAN may be used to not build manual pages while it was also
disabling some utilities for manual pages.
Approved by: re (kib)
Diffstat (limited to 'gnu/usr.bin')
| -rw-r--r-- | gnu/usr.bin/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/Makefile b/gnu/usr.bin/Makefile index c300b33..a57ffc7 100644 --- a/gnu/usr.bin/Makefile +++ b/gnu/usr.bin/Makefile @@ -45,7 +45,7 @@ _grep= grep _texinfo= texinfo .endif -.if ${MK_MAN} != "no" +.if ${MK_MAN_UTILS} != "no" _man= man .endif |
