diff options
author | Glenn Morris <rgm@gnu.org> | 2014-05-07 20:41:21 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2014-05-07 20:41:21 -0700 |
commit | fb3f83f5fd9e80347c8b8e36f6eaefbb912fe57b (patch) | |
tree | f106c360c3aef01bcacdc77b66b7c5b20261502e /doc/misc/gnus.texi | |
parent | 1ba38c429fa6ce17568771ef51c8e53b1a72bb94 (diff) | |
parent | 606695a67801acfd1792110e4ea3228b50b0117d (diff) | |
download | emacs-fb3f83f5fd9e80347c8b8e36f6eaefbb912fe57b.tar.gz |
Merge from emacs-24; up to 2014-05-08T03:34:20Z!rgm@gnu.org
Diffstat (limited to 'doc/misc/gnus.texi')
-rw-r--r-- | doc/misc/gnus.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/gnus.texi b/doc/misc/gnus.texi index 1749053a2a2..b2dce6db2bc 100644 --- a/doc/misc/gnus.texi +++ b/doc/misc/gnus.texi @@ -17,7 +17,7 @@ Copyright @copyright{} 1995--2014 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no -Invariant Sections, with the Front-Cover texts being ``A GNU Manual'', +Invariant Sections, with the Front-Cover Texts being ``A GNU Manual'', and with the Back-Cover Texts as in (a) below. A copy of the license is included in the section entitled ``GNU Free Documentation License''. |