changeset 78344:0e8444c0aae3

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Fri, 27 Jul 2007 08:09:43 +0000
parents dad76c2079b8
children 5b57e2a4ffb0
files man/ChangeLog
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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>