diff doc/misc/reftex.texi @ 99709:6de181810d0f

Relicense all texi files under FDL 1.3 or later.
author Glenn Morris <rgm@gnu.org>
date Wed, 19 Nov 2008 04:28:38 +0000
parents 6f0fce2c3559
children cb5d2387102c
line wrap: on
line diff
--- a/doc/misc/reftex.texi	Wed Nov 19 04:27:27 2008 +0000
+++ b/doc/misc/reftex.texi	Wed Nov 19 04:28:38 2008 +0000
@@ -32,7 +32,7 @@
 
 @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