diff -r 5d4e91c0343e -r 6c5658b8b588 config/global/paths.in
--- a/config/global/paths.in	Sun Jul 17 16:53:40 2011 +0200
+++ b/config/global/paths.in	Wed Nov 16 10:06:21 2011 +1300
@@ -90,6 +90,14 @@
       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"