* doc/misc/erc.texi: No need to include gpl in this small manual.

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index 9e6090f..d442def 100644 (file)
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,3 +1,7 @@
+2012-12-21  Glenn Morris  <rgm@gnu.org>
+
+       * erc.texi: No need to include gpl in this small manual.
+
 2012-12-14  Glenn Morris  <rgm@gnu.org>
 
        * org.texi (copying): Include a copy of the GFDL.

diff --git a/doc/misc/erc.texi b/doc/misc/erc.texi
index 7b8b917..ec3abf5 100644 (file)
--- a/doc/misc/erc.texi
+++ b/doc/misc/erc.texi
@@ -62,10 +62,6 @@ and modified without restriction.
 * Advanced Usage::              Cool ways of using ERC.
 * Getting Help and Reporting Bugs::
 * History::                     The history of ERC.
-* Copying::                     The GNU General Public License gives you
-                                  permission to redistribute ERC on
-                                  certain terms; it also explains that
-                                  there is no warranty.
 * GNU Free Documentation License::  The license for this documentation.
 * Concept Index::               Search for terms.
 
@@ -855,10 +851,6 @@ is maintained as part of Emacs.
 
 @end itemize
 
-@node Copying
-@appendix GNU GENERAL PUBLIC LICENSE
-@include gpl.texi
-
 @node GNU Free Documentation License
 @appendix GNU Free Documentation License
 @include doclicense.texi