diff options
| author | Glenn Morris | 2008-11-19 04:29:29 +0000 |
|---|---|---|
| committer | Glenn Morris | 2008-11-19 04:29:29 +0000 |
| commit | 6a2c4aece5e4cb3f03efc00540f917f688327da1 (patch) | |
| tree | 53ef72aaf2038378a9ca8bf19c3d1bfa13bf07b5 /doc/misc/reftex.texi | |
| parent | e4263e28c3a0f5a9875edd96438ec0dc8ab43f0c (diff) | |
| download | emacs-6a2c4aece5e4cb3f03efc00540f917f688327da1.tar.gz emacs-6a2c4aece5e4cb3f03efc00540f917f688327da1.zip | |
Relicense all texi files under FDL 1.3 or later.
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 56f4238719d..01665fb1875 100644 --- a/doc/misc/reftex.texi +++ b/doc/misc/reftex.texi | |||
| @@ -32,7 +32,7 @@ Copyright @copyright{} 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, | |||
| 32 | 32 | ||
| 33 | @quotation | 33 | @quotation |
| 34 | Permission is granted to copy, distribute and/or modify this document | 34 | Permission is granted to copy, distribute and/or modify this document |
| 35 | under the terms of the GNU Free Documentation License, Version 1.2 or | 35 | under the terms of the GNU Free Documentation License, Version 1.3 or |
| 36 | any later version published by the Free Software Foundation; with no | 36 | any later version published by the Free Software Foundation; with no |
| 37 | Invariant Sections, with the Front-Cover texts being ``A GNU Manual'', | 37 | Invariant Sections, with the Front-Cover texts being ``A GNU Manual'', |
| 38 | and with the Back-Cover Texts as in (a) below. A copy of the license | 38 | and with the Back-Cover Texts as in (a) below. A copy of the license |