diff -r bd17cca444ae -r 6c5658b8b588 scripts/build/debug/300-gdb.sh
--- a/scripts/build/debug/300-gdb.sh	Tue Nov 15 19:11:57 2011 +0100
+++ b/scripts/build/debug/300-gdb.sh	Wed Nov 16 10:06:21 2011 +1300
@@ -155,6 +155,12 @@
         CT_DoLog EXTRA "Installing cross-gdb"
         CT_DoExecLog ALL make install
 
+        if [ "${CT_BUILD_MANUALS}" = "y" ]; then
+            CT_DoLog EXTRA "Building and installing the cross-GDB manuals"
+            CT_DoExecLog ALL make ${JOBSFLAGS} pdf html
+            CT_DoExecLog ALL make install-{pdf,html}-gdb
+        fi
+
         if [ "${CT_GDB_INSTALL_GDBINIT}" = "y" ]; then
             CT_DoLog EXTRA "Install '.gdbinit' template"
             # See in scripts/build/internals.sh for why we do this