diff options
| author | Glenn Morris <rgm@gnu.org> | 2007-07-27 08:11:02 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2007-07-27 08:11:02 +0000 |
| commit | 88ef48ffda3365e55cc7a424083052122540977a (patch) | |
| tree | 680a686459e6dae8fa4285c9507fa6581fc6f880 /man/ChangeLog | |
| parent | 953654d0e9dc4f30a71f4c4980642a8bcc6b0080 (diff) | |
| download | emacs-88ef48ffda3365e55cc7a424083052122540977a.tar.gz | |
(EMACSSOURCES): Add gpl.texi.
Diffstat (limited to 'man/ChangeLog')
| -rw-r--r-- | man/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
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 <dann@ics.uci.edu> |