config/global.in
changeset 14 11726b835286
parent 1 eeea35fbf182
child 31 97e44d892c92
     1.1 --- a/config/global.in	Sat Feb 24 11:00:05 2007 +0000
     1.2 +++ b/config/global.in	Wed Mar 07 19:00:10 2007 +0000
     1.3 @@ -126,6 +126,14 @@
     1.4      help
     1.5        Enter the custom patch directory here.
     1.6  
     1.7 +config REMOVE_DOCS
     1.8 +    bool
     1.9 +    prompt "Remove documentation"
    1.10 +    default n
    1.11 +    help
    1.12 +      Remove the installed documentation (man and info pages).
    1.13 +      Gains around 8MiB for a uClibc-based, C and C++ compiler.
    1.14 +
    1.15  comment "Downloading and extracting"
    1.16  
    1.17  config NO_DOWNLOAD