This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "DejaGNU".
The branch, master has been updated
via 25540046c5d77618c94b95115b187d7ff9acac0b (commit)
via db24ef843de11efc564c9eee9631019d8abd5170 (commit)
from faf51ab42e4b41e68648543ab320e353aebc318c (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 25540046c5d77618c94b95115b187d7ff9acac0b
Author: Ben Elliston <b...@gnu.org>
Date: Sun Dec 20 06:29:04 2015 +1100
* doc/dejagnu.xml: Begin overhauling.
* doc/ref.xml: Likewise.
* doc/user.xml: Likewise.
* doc/dejagnu.texi: Regenerate.
commit db24ef843de11efc564c9eee9631019d8abd5170
Author: Ben Elliston <b...@gnu.org>
Date: Sun Dec 20 06:27:48 2015 +1100
* doc/runtest.1: Miscellaneous minor improvements.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 11 +
doc/dejagnu.texi | 2238 ++++++++++++++----------------------------------------
doc/dejagnu.xml | 274 +++-----
doc/ref.xml | 330 +--------
doc/runtest.1 | 17 +-
doc/user.xml | 1538 +++++++++++--------------------------
6 files changed, 1144 insertions(+), 3264 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
