diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index a507dc0efc..10c3711b9a 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -7332,9 +7332,7 @@ Gateways via their Web Interfaces"
broken to make the listing easier to read.
If you examine the output or the log file, you see the
- failure during the
- do_compile
- task for "neard":
+ failure during make:
| DEBUG: SITE files ['endian-little', 'bit-32', 'ix86-common', 'common-linux', 'common-glibc', 'i586-linux', 'common']
| DEBUG: Executing shell function do_compile