summaryrefslogtreecommitdiff
path: root/config/global
diff options
context:
space:
mode:
Diffstat (limited to 'config/global')
-rw-r--r--config/global/paths.in8
1 files changed, 8 insertions, 0 deletions
diff --git a/config/global/paths.in b/config/global/paths.in
index f7766da..ed26dfc 100644
--- a/config/global/paths.in
+++ b/config/global/paths.in
@@ -90,6 +90,14 @@ config REMOVE_DOCS
Remove the installed documentation (man and info pages).
Gains around 8MiB for a uClibc-based, C and C++ compiler.
+config BUILD_MANUALS
+ bool
+ prompt "Build the manuals"
+ depends on ! REMOVE_DOCS
+ help
+ Build the PDF and HTML manuals for the main components such as
+ binutils, GCC, GDB, and the C library.
+
config INSTALL_DIR_RO
bool
prompt "Render the toolchain read-only"