diff options
Diffstat (limited to 'doc/misc/flymake.texi')
| -rw-r--r-- | doc/misc/flymake.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi index 362bcd8280b..761056a69a5 100644 --- a/doc/misc/flymake.texi +++ b/doc/misc/flymake.texi @@ -18,7 +18,7 @@ Copyright @copyright{} 2004--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''. |