diff options
| author | Glenn Morris | 2014-05-07 13:34:53 -0400 |
|---|---|---|
| committer | Glenn Morris | 2014-05-07 13:34:53 -0400 |
| commit | 551a89e12d1ac5198a4de25ce24d98358bb1f8db (patch) | |
| tree | b6911e09bfa8e45a710dfa21c2a6770bfe023b58 /doc/misc/info.texi | |
| parent | 73b60c4af9c5dea00158d22f91f05984202b6e64 (diff) | |
| download | emacs-551a89e12d1ac5198a4de25ce24d98358bb1f8db.tar.gz emacs-551a89e12d1ac5198a4de25ce24d98358bb1f8db.zip | |
Standardize case of "Front-Cover Texts" in texi file permissions notices.
Ref: http://lists.gnu.org/archive/html/bug-texinfo/2014-05/msg00015.html
Diffstat (limited to 'doc/misc/info.texi')
| -rw-r--r-- | doc/misc/info.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/info.texi b/doc/misc/info.texi index 810f4d0f371..144ce89707b 100644 --- a/doc/misc/info.texi +++ b/doc/misc/info.texi | |||
| @@ -21,7 +21,7 @@ Copyright @copyright{} 1989, 1992, 1996--2014 Free Software Foundation, Inc. | |||
| 21 | Permission is granted to copy, distribute and/or modify this document | 21 | Permission is granted to copy, distribute and/or modify this document |
| 22 | under the terms of the GNU Free Documentation License, Version 1.3 or | 22 | under the terms of the GNU Free Documentation License, Version 1.3 or |
| 23 | any later version published by the Free Software Foundation; with no | 23 | any later version published by the Free Software Foundation; with no |
| 24 | Invariant Sections, with the Front-Cover texts being ``A GNU Manual,'' | 24 | Invariant Sections, with the Front-Cover Texts being ``A GNU Manual,'' |
| 25 | and with the Back-Cover Texts as in (a) below. A copy of the license | 25 | and with the Back-Cover Texts as in (a) below. A copy of the license |
| 26 | is included in the section entitled ``GNU Free Documentation License''. | 26 | is included in the section entitled ``GNU Free Documentation License''. |
| 27 | 27 | ||