# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1185523783 0
# Node ID 0e8444c0aae38aae192d68c9f098654b9544d403
# Parent  dad76c2079b8e912b16e0ec522a7aca5ae574840
*** empty log message ***

diff -r dad76c2079b8 -r 0e8444c0aae3 man/ChangeLog
--- a/man/ChangeLog	Fri Jul 27 07:14:56 2007 +0000
+++ b/man/ChangeLog	Fri Jul 27 08:09:43 2007 +0000
@@ -5,6 +5,7 @@
 	in-line.
 
 	* gpl.texi: New file with text of GPL.
+	* Makefile.in (EMACSSOURCES): Add gpl.texi.
 
 2007-07-25  Glenn Morris  <rgm@gnu.org>