diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index 1cf6969cff..f4df9062f0 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -1355,24 +1355,24 @@
The most important variables to set in this file are as follows:
-
- TARGET_ARCH (e.g. "arm")
-
- PREFERRED_PROVIDER_virtual/kernel (see below)
-
- MACHINE_FEATURES (e.g. "apm screen wifi")
+ TARGET_ARCH
+ (e.g. "arm")
+ PREFERRED_PROVIDER_virtual/kernel
+ (see below)
+ MACHINE_FEATURES
+ (e.g. "apm screen wifi")
You might also need these variables:
-
- SERIAL_CONSOLE (e.g. "115200 ttyS0")
-
- KERNEL_IMAGETYPE (e.g. "zImage")
-
- IMAGE_FSTYPES (e.g. "tar.gz jffs2")
+ SERIAL_CONSOLE
+ (e.g. "115200 ttyS0")
+ KERNEL_IMAGETYPE
+ (e.g. "zImage")
+ IMAGE_FSTYPES
+ (e.g. "tar.gz jffs2")