* doc/dejagnu.texi: Regenerate.
Signed-off-by: Ben Elliston <bje@gnu.org>
+2013-06-15 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
+
+ * doc/user.xml: Fix spacing before productname.
+ * doc/dejagnu.texi: Regenerate.
+
2013-06-12 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
* testsuite/runtest.all/default_procs.tcl (send_log): Use the
@item
Finally, if the value of
-@emph{verbose} is 3 or greater,DejaGnu turns on
+@emph{verbose} 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
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