diff options
| -rw-r--r-- | documentation/dev-manual/dev-manual-common-tasks.xml | 4 |
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"> |
