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