diff options
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 64cc1dfb4e0..3391a9ce9c1 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -5,6 +5,7 @@ | |||
| 5 | mentioned it explicitly. | 5 | mentioned it explicitly. |
| 6 | ($(infodir)/woman$(INFO_EXT), woman.dvi): Depend on | 6 | ($(infodir)/woman$(INFO_EXT), woman.dvi): Depend on |
| 7 | $(emacsdir)/emacsver.texi. | 7 | $(emacsdir)/emacsver.texi. |
| 8 | ($(infodir)/erc$(INFO_EXT), erc.dvi): Don't depend on gpl.texi. | ||
| 8 | 9 | ||
| 9 | 2012-12-21 Glenn Morris <rgm@gnu.org> | 10 | 2012-12-21 Glenn Morris <rgm@gnu.org> |
| 10 | 11 | ||