-echo "Building DocBook HTML documentation: $BUILD_DOCBOOK_HTML"
-echo "Building DocBook PS documentation: $BUILD_DOCBOOK_PS"
-echo "Building DocBook PDF documentation: $BUILD_DOCBOOK_PDF"
+echo ["\
+ Building DocBook HTML documentation : $BUILD_DOCBOOK_HTML
+ Building DocBook PS documentation : $BUILD_DOCBOOK_PS
+ Building DocBook PDF documentation : $BUILD_DOCBOOK_PDF