diff options
Diffstat (limited to 'config/global')
| -rw-r--r-- | config/global/paths.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config/global/paths.in b/config/global/paths.in index f7766da9..ed26dfc8 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" |