# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 1003863349 0
# Node ID afee33bfd42a4ff8107da801371828a9696167dc
# Parent  cc95d7007a08d0093bada2b635c87c5dcfe3343a
(srcs): Add gpl.texi and doclicense.texi.

diff -r cc95d7007a08 -r afee33bfd42a lispref/Makefile.in
--- a/lispref/Makefile.in	Tue Oct 23 18:42:35 2001 +0000
+++ b/lispref/Makefile.in	Tue Oct 23 18:55:49 2001 +0000
@@ -83,7 +83,10 @@
   $(srcdir)/variables.texi \
   $(srcdir)/windows.texi \
   $(srcdir)/index.unperm \
-  $(srcdir)/index.perm
+  $(srcdir)/index.perm \
+  $(srcdir)/gpl.texi \
+  $(srcdir)/doclicense.texi
+
 
 .PHONY: clean