2 files changed, 2 insertions, 0 deletions

diff --git a/man/ChangeLog b/man/ChangeLog
index 1692615969e..3b36ace5603 100644
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -5,6 +5,7 @@
         in-line.
 
         * gpl.texi: New file with text of GPL.
+        * Makefile.in (EMACSSOURCES): Add gpl.texi.
 
 2007-07-26  Dan Nicolaescu  <dann@ics.uci.edu>
 
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 \