+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.
* 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.
@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