changeset 78345:5b57e2a4ffb0

(EMACSSOURCES): Add gpl.texi.
author Glenn Morris <rgm@gnu.org>
date Fri, 27 Jul 2007 08:09:56 +0000
parents 0e8444c0aae3
children 6853eb801a27
files man/Makefile.in
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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 \