diff options
| -rw-r--r-- | man/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/ChangeLog b/man/ChangeLog index 4a34024d60a..3dd4f347307 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-25 Glenn Morris <rgm@gnu.org> |