From 65fa82e95bf84f89ac1f071bc242925be44e165f Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Fri, 27 Jul 2007 08:09:43 +0000
Subject: [PATCH] *** empty log message ***

---
 man/ChangeLog | 1 +
 1 file changed, 1 insertion(+)

diff --git a/man/ChangeLog b/man/ChangeLog
index 4a34024d60a..3dd4f347307 100644
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -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>
 
-- 
2.39.2