From: Glenn Morris Date: Fri, 21 Dec 2012 18:14:29 +0000 (-0800) Subject: * doc/misc/erc.texi: No need to include gpl in this small manual. X-Git-Url: http://git.hcoop.net/bpt/emacs.git/commitdiff_plain/08953d7f7a9e92b7b62da8c126ca801a76d19a31 * doc/misc/erc.texi: No need to include gpl in this small manual. --- diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 9e6090f13f..d442def8f8 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,3 +1,7 @@ +2012-12-21 Glenn Morris + + * erc.texi: No need to include gpl in this small manual. + 2012-12-14 Glenn Morris * org.texi (copying): Include a copy of the GFDL. diff --git a/doc/misc/erc.texi b/doc/misc/erc.texi index 7b8b917684..ec3abf5557 100644 --- 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