changeset 40228:afee33bfd42a

(srcs): Add gpl.texi and doclicense.texi.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 23 Oct 2001 18:55:49 +0000
parents cc95d7007a08
children 618f0d7df7a0
files lispref/Makefile.in
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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