# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1185523796 0
# Node ID 5b57e2a4ffb00bddffe918b094c6ce3e4c065cf0
# Parent  0e8444c0aae38aae192d68c9f098654b9544d403
(EMACSSOURCES): Add gpl.texi.

diff -r 0e8444c0aae3 -r 5b57e2a4ffb0 man/Makefile.in
--- a/man/Makefile.in	Fri Jul 27 08:09:43 2007 +0000
+++ b/man/Makefile.in	Fri Jul 27 08:09:56 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 \