* doc/dejagnu.xml: Begin overhauling.
authorBen Elliston <bje@gnu.org>
Sat, 19 Dec 2015 19:29:04 +0000 (06:29 +1100)
committerBen Elliston <bje@gnu.org>
Sat, 19 Dec 2015 19:29:04 +0000 (06:29 +1100)
commit25540046c5d77618c94b95115b187d7ff9acac0b
treea6ae30c09bde91da13fce0af028e2d9f41caa4b4
parentdb24ef843de11efc564c9eee9631019d8abd5170
* doc/dejagnu.xml: Begin overhauling.
* doc/ref.xml: Likewise.
* doc/user.xml: Likewise.
* doc/dejagnu.texi: Regenerate.
ChangeLog
doc/dejagnu.texi
doc/dejagnu.xml
doc/ref.xml
doc/user.xml