[PATCH 1/6] doc: Add missing space before &dj; in user.xml

[Bernhard Reutner-Fischer]

ChangeLog

2013-06-13  Bernhard Reutner-Fischer  <address@hidden>

        * doc/user.xml: Fix spacing before productname.
        * doc/dejagnu.texi: Regenerate.

Signed-off-by: Bernhard Reutner-Fischer <address@hidden>
---
 doc/dejagnu.texi |    2 +-
 doc/user.xml     |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi
index 42dca14..16730a9 100644
--- a/doc/dejagnu.texi
+++ b/doc/dejagnu.texi
@@ -3117,7 +3117,7 @@ controls the depth of definitions expanded.
 
 @item
 Finally, if the value of
address@hidden is 3 or greater,DejaGnu turns on
address@hidden is 3 or greater, DejaGnu turns on
 the expect command @code{log_user}.  This command
 prints all expect actions to the expect standard output, to the
 detailed log file, and (if @code{--debug} is on) to
diff --git a/doc/user.xml b/doc/user.xml
index 0a8fafa..e527d2d 100644
--- a/doc/user.xml
+++ b/doc/user.xml
@@ -2943,7 +2943,7 @@ powerpc-linux-gcc -g -O2 -o calc calc.o
        controls the depth of definitions expanded.</para></listitem>
 
        <listitem><para>Finally, if the value of
-       <emphasis>verbose</emphasis> is 3 or greater,&dj; turns on
+       <emphasis>verbose</emphasis> is 3 or greater, &dj; turns on
        the expect command <command>log_user</command>.  This command
        prints all expect actions to the expect standard output, to the
        detailed log file, and (if <option>--debug</option> is on) to
-- 
1.7.10.4