[AUCTeX-diffs] Changes to auctex/doc/auctex.texi,v

[David Kastrup]

CVSROOT:        /sources/auctex
Module name:    auctex
Changes by:     David Kastrup <dak>     06/10/20 09:03:30

Index: doc/auctex.texi
===================================================================
RCS file: /sources/auctex/auctex/doc/auctex.texi,v
retrieving revision 1.269
retrieving revision 1.270
diff -u -b -r1.269 -r1.270
--- doc/auctex.texi     2 Oct 2006 21:17:42 -0000       1.269
+++ doc/auctex.texi     20 Oct 2006 09:03:30 -0000      1.270
@@ -55,7 +55,10 @@
 @ifinfo
 @node top
 @top @AUCTeX{}
address@hidden
+
+This manual may be copied under the conditions spelled out in
address@hidden this Manual}.
+
 @end ifinfo
 @ifhtml
 @node top
@@ -248,8 +251,7 @@
 The precise conditions of the licenses for the files currently being
 distributed as part of @AUCTeX{} are found in the General Public
 Licenses that accompany them.  This manual specifically is covered by
-the GNU Free Documentation License (@pxref{GNU Free Documentation
-License}).
+the GNU Free Documentation License (@pxref{Copying this Manual}).
 
 @include intro.texi
 
@@ -3677,6 +3679,14 @@
 @node Copying this Manual
 @appendix Copying this Manual
 
address@hidden
+The copyright notice for this manual is:
+
address@hidden
address@hidden ifinfo
+
+The full license text can be read here:
+
 @menu
 * GNU Free Documentation License:: License for copying this manual.
 @end menu