diff man/reftex.texi @ 90813:e6fdae9180d4

Merge from emacs--devo--0 Patches applied: * emacs--devo--0 (patch 698-710) - Update from CVS - Merge from gnus--rel--5.10 * gnus--rel--5.10 (patch 216) - Update from CVS Revision: emacs@sv.gnu.org/emacs--unicode--0--patch-196
author Miles Bader <miles@gnu.org>
date Tue, 24 Apr 2007 21:56:25 +0000
parents 4ef881a120fe 88224dc74061
children
line wrap: on
line diff
--- a/man/reftex.texi	Tue Apr 24 11:35:23 2007 +0000
+++ b/man/reftex.texi	Tue Apr 24 21:56:25 2007 +0000
@@ -116,6 +116,7 @@
 * Options::                          How to extend and configure RefTeX.
 * Keymaps and Hooks::                For customization.
 * Changes::                          A List of recent changes to RefTeX.
+* GNU Free Documentation License::   The license for this documentation.
 
 The Index
 
@@ -5149,7 +5150,7 @@
 are many more hooks which are described in the relevant sections about
 options for a specific part of @b{Ref@TeX{}}.
 
-@node Changes, , Keymaps and Hooks, Top
+@node Changes, GNU Free Documentation License, Keymaps and Hooks, Top
 @chapter Changes
 @cindex Changes
 
@@ -5880,11 +5881,11 @@
 released on 7 Jan 1997.
 @end itemize
 
-
-
-
-
-@node Index,  , , Top
+@node GNU Free Documentation License, Index, Changes, Top
+@appendix GNU Free Documentation License
+@include doclicense.texi
+
+@node Index, , GNU Free Documentation License, Top
 @unnumbered Index
 @printindex cp