summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--documentation/dev-manual/dev-manual-common-tasks.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index 83e4b807dc..18acb23fa4 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -4115,8 +4115,8 @@
4115 <title>Launch GDB on the Host Computer</title> 4115 <title>Launch GDB on the Host Computer</title>
4116 4116
4117 <para> 4117 <para>
4118 Running GDB on the host computer takes a number of stages. 4118 Running GDB on the host computer takes a number of stages, which
4119 This section describes those stages. 4119 this section describes.
4120 </para> 4120 </para>
4121 4121
4122 <section id="platdev-gdb-remotedebug-launch-gdb-buildcross"> 4122 <section id="platdev-gdb-remotedebug-launch-gdb-buildcross">