diff options
| author | Glenn Morris <rgm@gnu.org> | 2008-11-19 04:29:29 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2008-11-19 04:29:29 +0000 |
| commit | 6a2c4aece5e4cb3f03efc00540f917f688327da1 (patch) | |
| tree | 53ef72aaf2038378a9ca8bf19c3d1bfa13bf07b5 /doc/misc/flymake.texi | |
| parent | e4263e28c3a0f5a9875edd96438ec0dc8ab43f0c (diff) | |
| download | emacs-6a2c4aece5e4cb3f03efc00540f917f688327da1.tar.gz | |
Relicense all texi files under FDL 1.3 or later.
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 6dbf46ba924..4b533c7f920 100644 --- a/doc/misc/flymake.texi +++ b/doc/misc/flymake.texi @@ -16,7 +16,7 @@ Foundation, Inc. @quotation Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.2 or +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,'' and with the Back-Cover Texts as in (a) below. A copy of the license |