From 4a375a2c692be7aa8a88212177705e3b54ef75ad Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Fri, 27 Jul 2007 08:09:56 +0000 Subject: [PATCH] (EMACSSOURCES): Add gpl.texi. --- man/Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/man/Makefile.in b/man/Makefile.in index f52ac990b7c..00088b74b51 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -76,6 +76,7 @@ EMACS_XTRA=\ EMACSSOURCES= \ ${srcdir}/emacs.texi \ ${srcdir}/doclicense.texi \ + ${srcdir}/gpl.texi \ ${srcdir}/screen.texi \ ${srcdir}/commands.texi \ ${srcdir}/entering.texi \ -- 2.39.2