(srcs): Add gpl.texi and doclicense.texi.

diff --git a/lispref/ChangeLog b/lispref/ChangeLog
index d4581895e040908a16efbf87cf8b1d578a3b1a88..a7f1ba1b77746cbb401d252e870f504431c19ff3 100644 (file)
--- a/lispref/ChangeLog
+++ b/lispref/ChangeLog
@@ -1,3 +1,7 @@
+2001-10-23  Gerd Moellmann  <gerd@gnu.org>
+
+       * Makefile.in (srcs): Add gpl.texi and doclicense.texi.
+
 2001-10-20  Gerd Moellmann  <gerd@gnu.org>
 
        * Version 21.1 released.

diff --git a/lispref/Makefile.in b/lispref/Makefile.in
index b8d91b69426e1793cf3307f454c26015d24fc810..fef85dff58ac24c248c9600f0d6b0bc5e912c79a 100644 (file)
--- a/lispref/Makefile.in
+++ b/lispref/Makefile.in
@@ -83,7 +83,10 @@ srcs = \
   $(srcdir)/variables.texi \
   $(srcdir)/windows.texi \
   $(srcdir)/index.unperm \
-  $(srcdir)/index.perm
+  $(srcdir)/index.perm \
+  $(srcdir)/gpl.texi \
+  $(srcdir)/doclicense.texi
+
 
 .PHONY: clean