# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1185523836 0
# Node ID 5dbe71b15eb1a2956c6d5a90e201f155932df7a6
# Parent  4e7d43b8a0b0a08c09591373d70652bdfb8aced8
(EMACSSOURCES): Add gpl.texi.

diff -r 4e7d43b8a0b0 -r 5dbe71b15eb1 man/Makefile.in
--- a/man/Makefile.in	Fri Jul 27 07:28:38 2007 +0000
+++ b/man/Makefile.in	Fri Jul 27 08:10:36 2007 +0000
@@ -76,6 +76,7 @@
 EMACSSOURCES= \
 	${srcdir}/emacs.texi \
 	${srcdir}/doclicense.texi \
+	${srcdir}/gpl.texi \
 	${srcdir}/screen.texi \
 	${srcdir}/commands.texi \
 	${srcdir}/entering.texi \