aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2018-12-12 07:53:18 +1100
committerBen Elliston <bje@gnu.org>2018-12-12 07:53:18 +1100
commitca729a2f34d53b2eae0c3c10dfcb4ff8c40c1613 (patch)
treee871f6ed6f6b8fb4ac04df5cb4b3a2ec9358b66f /doc
parent48fbec72a052b82b14eb96716da6c249d0a673c0 (diff)
downloaddejagnu-ca729a2f34d53b2eae0c3c10dfcb4ff8c40c1613.zip
dejagnu-ca729a2f34d53b2eae0c3c10dfcb4ff8c40c1613.tar.gz
dejagnu-ca729a2f34d53b2eae0c3c10dfcb4ff8c40c1613.tar.bz2
* doc/dejagnu.texi: Acknowledge contributions to the manual from
others.
Diffstat (limited to 'doc')
-rw-r--r--doc/dejagnu.texi4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi
index 8e1dae4..1ce3109 100644
--- a/doc/dejagnu.texi
+++ b/doc/dejagnu.texi
@@ -35,8 +35,8 @@ Free Documentation License''.
@subtitle Version @value{VERSION}
@sp 1
@subtitle @value{UPDATED}
-@author Rob Savoye
-@author Cygnus Support
+@author Rob Savoye et al.
+@author Cygnus Support and the GNU Project
@page
@vskip 0pt plus 1filll