From 332b3e1e311b1a7d770af27f4c8c8c27dd11b727 Mon Sep 17 00:00:00 2001 From: Gerald Pfeifer Date: Tue, 1 Feb 2011 00:52:36 +0000 Subject: [PATCH] debug.xml: Use GDB instead of gdb. * doc/xml/manual/debug.xml: Use GDB instead of gdb. Adjust link to GDB manual. From-SVN: r169463 --- libstdc++-v3/ChangeLog | 5 +++++ libstdc++-v3/doc/xml/manual/debug.xml | 8 ++++---- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 34968e3a758..5c7ce9de528 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,8 @@ +2011-02-01 Gerald Pfeifer + + * doc/xml/manual/debug.xml: Use GDB instead of gdb. + Adjust link to GDB manual. + 2011-01-31 Benjamin Kosnik * include/bits/c++config (_GLIBCXX_DEPRECATED): To diff --git a/libstdc++-v3/doc/xml/manual/debug.xml b/libstdc++-v3/doc/xml/manual/debug.xml index 51219d45efd..160acebf928 100644 --- a/libstdc++-v3/doc/xml/manual/debug.xml +++ b/libstdc++-v3/doc/xml/manual/debug.xml @@ -46,7 +46,7 @@ communicate information about source constructs can be changed via -gdwarf-2 or -gstabs flags: some debugging formats permit more expressive type and scope information to be - shown in gdb. Expressiveness can be enhanced by flags like + shown in GDB. Expressiveness can be enhanced by flags like -g3. The default debug information for a particular platform can be identified via the value set by the PREFERRED_DEBUGGING_TYPE macro in the gcc sources. @@ -246,13 +246,13 @@ - Many options are available for gdb itself: please see - "GDB features for C++" in the gdb documentation. Also + Many options are available for GDB itself: please see + "GDB features for C++" in the GDB documentation. Also recommended: the other parts of this manual. - These settings can either be switched on in at the gdb command line, + These settings can either be switched on in at the GDB command line, or put into a .gdbint file to establish default debugging characteristics, like so: