changeset 82168:5dbe71b15eb1

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