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 e625bb34105826335d5e9b807f0a31d5950f39fc (commit)
from 6fc810306d8e42cdad9d04418bfb335e1dd09143 (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 e625bb34105826335d5e9b807f0a31d5950f39fc
Author: Filipe Brandenburger <filbran...@google.com>
Date: Fri May 15 20:39:05 2015 +1000
* doc/dejagnu.xml: Fix typos such as stray }'s and @samp{...},
possibly introduced in a conversion of .texi to SGML Docbook.
* doc/user.xml: Likewise.
* doc/ref.xml: Likewise.
* doc/dejagnu.texi: Regenerate.
Signed-off-by: Ben Elliston <b...@gnu.org>
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 8 ++++++++
doc/dejagnu.texi | 27 +++++++++++++--------------
doc/dejagnu.xml | 2 +-
doc/ref.xml | 6 +++---
doc/user.xml | 19 +++++++++----------
5 files changed, 34 insertions(+), 28 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
