aboutsummaryrefslogtreecommitdiff
path: root/Config.in
diff options
context:
space:
mode:
authorGravatar Peter Korsgaard <jacmet@sunsite.dk>2008-10-20 11:32:25 +0000
committerGravatar Peter Korsgaard <jacmet@sunsite.dk>2008-10-20 11:32:25 +0000
commit886b274a5cbe66f470867004a73384451b140c19 (patch)
tree9b7ba18a4996357f10c9939aad65fa4f87ba5e53 /Config.in
parentfedf24cf51f39922ce2d9ebf478a4a83477c789f (diff)
downloadbuildroot-886b274a5cbe66f470867004a73384451b140c19.tar.gz
buildroot-886b274a5cbe66f470867004a73384451b140c19.tar.bz2
BR2_HAVE_DOCUMENTATION: add option to remove documentation from target
Some packages' install-strip target install quite big documentation, so create an option to remove it similar to the existing man/info options.
Diffstat (limited to 'Config.in')
-rw-r--r--Config.in7
1 files changed, 7 insertions, 0 deletions
diff --git a/Config.in b/Config.in
index 32a154bc30..ddbe43b9ac 100644
--- a/Config.in
+++ b/Config.in
@@ -348,6 +348,13 @@ config BR2_HAVE_INFOPAGES
If you say n here, your target will not contain any
infopage.
+config BR2_HAVE_DOCUMENTATION
+ bool "documentation on the target"
+ help
+ Leave the documentation on the target.
+ If you say n here, your target will not contain any
+ documentation.
+
config BR2_HAVE_DEVFILES
bool "development files in target filesystem"
help