diff options
Diffstat (limited to 'config/global.in')
| -rw-r--r-- | config/global.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config/global.in b/config/global.in index e61b1329..2f4941e5 100644 --- a/config/global.in +++ b/config/global.in @@ -126,6 +126,14 @@ config CUSTOM_PATCH_DIR help Enter the custom patch directory here. +config REMOVE_DOCS + bool + prompt "Remove documentation" + default n + help + Remove the installed documentation (man and info pages). + Gains around 8MiB for a uClibc-based, C and C++ compiler. + comment "Downloading and extracting" config NO_DOWNLOAD |