diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index 1025b0056b..8d053b3f53 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -1880,11 +1880,11 @@
- Perhaps the easiest way is to have an 'sdk' image that corresponds to the plain
+ Perhaps the easiest way is to have an SDK image that corresponds to the plain
image installed on the device.
In the case of core-image-sato,
core-image-sato-sdk would contain suitable symbols.
- Because the sdk images already have the debugging symbols installed, it is just a
+ Because the SDK images already have the debugging symbols installed, it is just a
question of expanding the archive to some location and then informing GDB.
@@ -2015,13 +2015,18 @@
-fno-omit-framepointer flag.
You can achieve this by setting the
SELECTED_OPTIMIZATION
- variable to
- -fexpensive-optimizations -fno-omit-framepointer -frename-registers -O2.
+ variable with the following options:
+
+ -fexpensive-optimizations
+ -fno-omit-framepointer
+ -frename-registers
+ -O2
+
You can also achieve it by setting the
DEBUG_BUILD
variable to "1" in the local.conf configuration file.
- If you use the DEBUG_BUILD variable you will also add extra debug information
- that can make the debug packages large.
+ If you use the DEBUG_BUILD variable,
+ you will also add extra debug information that can make the debug packages large.