diff options
Diffstat (limited to 'documentation/dev-manual')
| -rw-r--r-- | documentation/dev-manual/dev-manual-common-tasks.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index 18acb23fa4..e9309fc163 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml | |||
| @@ -4085,7 +4085,7 @@ | |||
| 4085 | </section> | 4085 | </section> |
| 4086 | 4086 | ||
| 4087 | <section id="platdev-gdb-remotedebug-launch-gdbserver"> | 4087 | <section id="platdev-gdb-remotedebug-launch-gdbserver"> |
| 4088 | <title>Launching Gdbserver on the Target</title> | 4088 | <title>Launch Gdbserver on the Target</title> |
| 4089 | 4089 | ||
| 4090 | <para> | 4090 | <para> |
| 4091 | Make sure Gdbserver is installed on the target. | 4091 | Make sure Gdbserver is installed on the target. |