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 @@ | |||
| 5 | in-line. | 5 | in-line. |
| 6 | 6 | ||
| 7 | * gpl.texi: New file with text of GPL. | 7 | * gpl.texi: New file with text of GPL. |
| 8 | * Makefile.in (EMACSSOURCES): Add gpl.texi. | ||
| 8 | 9 | ||
| 9 | 2007-07-25 Glenn Morris <rgm@gnu.org> | 10 | 2007-07-25 Glenn Morris <rgm@gnu.org> |
| 10 | 11 | ||