diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index dd5700cc98..d6f21a7e01 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -2070,14 +2070,14 @@
Your configuration file needs to set the following
variables:
- DISTRO_NAME [required]
- DISTRO_VERSION [required]
- DISTRO_FEATURES
- DISTRO_EXTRA_RDEPENDS
- DISTRO_EXTRA_RRECOMMENDS
- TCLIBC
- PREFERRED_VERSION
- PREFERRED_PROVIDER
+ DISTRO_NAME [required]
+ DISTRO_VERSION [required]
+ DISTRO_FEATURES
+ DISTRO_EXTRA_RDEPENDS
+ DISTRO_EXTRA_RRECOMMENDS
+ TCLIBC
+ PREFERRED_VERSION
+ PREFERRED_PROVIDER
Provide Miscellaneous Variables:
Be sure to define any other variable for which you want to