* doc/user.xml: Fix rendering errors around programlisting.
authorBernhard Reutner-Fischer <aldot@gcc.gnu.org>
Sat, 15 Jun 2013 11:27:29 +0000 (21:27 +1000)
committerBen Elliston <bje@gnu.org>
Sat, 15 Jun 2013 11:27:29 +0000 (21:27 +1000)
commit520f7493f69e4fbcd7a4fc55a0bed29d7922adf9
tree30dcdb1928939b37a794ef5318831d22d2c55a3f
parenta340a5b44eb49b412f0f5e235c1769e77605a7b2
* doc/user.xml: Fix rendering errors around programlisting.
* doc/ref.xml: Likewise.
* doc/dejagnu.texi: Regenerate.

Signed-off-by: Ben Elliston <bje@gnu.org>
ChangeLog
doc/dejagnu.texi
doc/ref.xml
doc/user.xml