From 88ef48ffda3365e55cc7a424083052122540977a Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Fri, 27 Jul 2007 08:11:02 +0000 Subject: [PATCH] (EMACSSOURCES): Add gpl.texi. --- man/ChangeLog | 1 + man/Makefile.in | 1 + 2 files changed, 2 insertions(+) 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 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