diff options
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 4fb8d47579b..7a86773c04f 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,9 @@ | |||
| 1 | 2014-11-09 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * admin.el (make-manuals-dist-output-variables) | ||
| 4 | (make-manuals-dist--1, make-manuals-dist): New. | ||
| 5 | Replaces doc/*/Makefile.in `dist' rules. | ||
| 6 | |||
| 1 | 2014-10-31 Eli Zaretskii <eliz@gnu.org> | 7 | 2014-10-31 Eli Zaretskii <eliz@gnu.org> |
| 2 | 8 | ||
| 3 | * notes/repo (Notes): Reword the stylistic guidance for commit log | 9 | * notes/repo (Notes): Reword the stylistic guidance for commit log |