# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1185523862 0
# Node ID be980accfa7bbec7f0fc347b9b6e9c48d4f1b022
# Parent  5dbe71b15eb1a2956c6d5a90e201f155932df7a6
*** empty log message ***

diff -r 5dbe71b15eb1 -r be980accfa7b man/ChangeLog
--- a/man/ChangeLog	Fri Jul 27 08:10:36 2007 +0000
+++ b/man/ChangeLog	Fri Jul 27 08:11:02 2007 +0000
@@ -5,6 +5,7 @@
 	in-line.
 
 	* gpl.texi: New file with text of GPL.
+	* Makefile.in (EMACSSOURCES): Add gpl.texi.
 
 2007-07-26  Dan Nicolaescu  <dann@ics.uci.edu>