diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index 8684851dcc..c509d12c54 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -4016,41 +4016,41 @@
and the GDB prompt appears.
+
-
- Connect to the Remote GDB Server
+
+ Connect to the Remote GDB Server
-
- From the target, you need to connect to the remote GDB
- server that is running on the host.
- You need to specify the remote host and port.
- Here is the command continuing with the example:
-
+
+ From the target, you need to connect to the remote GDB
+ server that is running on the host.
+ You need to specify the remote host and port.
+ Here is the command continuing with the example:
+
target remote 192.168.7.2:2345
-
-
-
+
+
+
-
- Use the Debugger
+
+ Use the Debugger
-
- You can now proceed with debugging as normal - as if you were debugging
- on the local machine.
- For example, to instruct GDB to break in the "main" function and then
- continue with execution of the inferior binary use the following commands
- from within GDB:
-
+
+ You can now proceed with debugging as normal - as if you were debugging
+ on the local machine.
+ For example, to instruct GDB to break in the "main" function and then
+ continue with execution of the inferior binary use the following commands
+ from within GDB:
+
(gdb) break main
(gdb) continue
-
-
+
+
-
- For more information about using GDB, see the project's online documentation at
- .
-
-
+
+ For more information about using GDB, see the project's online documentation at
+ .
+