diff options
Diffstat (limited to 'doc/misc/reftex.texi')
| -rw-r--r-- | doc/misc/reftex.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/reftex.texi b/doc/misc/reftex.texi index 99266de4d85..5479dfd9a24 100644 --- a/doc/misc/reftex.texi +++ b/doc/misc/reftex.texi | |||
| @@ -52,7 +52,7 @@ Copyright @copyright{} 1997--2014 Free Software Foundation, Inc. | |||
| 52 | Permission is granted to copy, distribute and/or modify this document | 52 | Permission is granted to copy, distribute and/or modify this document |
| 53 | under the terms of the GNU Free Documentation License, Version 1.3 or | 53 | under the terms of the GNU Free Documentation License, Version 1.3 or |
| 54 | any later version published by the Free Software Foundation; with no | 54 | any later version published by the Free Software Foundation; with no |
| 55 | Invariant Sections, with the Front-Cover texts being ``A GNU Manual'', | 55 | Invariant Sections, with the Front-Cover Texts being ``A GNU Manual'', |
| 56 | and with the Back-Cover Texts as in (a) below. A copy of the license | 56 | and with the Back-Cover Texts as in (a) below. A copy of the license |
| 57 | is included in the section entitled ``GNU Free Documentation License''. | 57 | is included in the section entitled ``GNU Free Documentation License''. |
| 58 | 58 | ||