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 9470c933264..303da8c020a 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog @@ -1,3 +1,9 @@ +2014-11-09 Glenn Morris <rgm@gnu.org> + + * admin.el (make-manuals-dist-output-variables) + (make-manuals-dist--1, make-manuals-dist): New. + Replaces doc/*/Makefile.in `dist' rules. + 2014-11-04 Paul Eggert <eggert@cs.ucla.edu> Spelling fixes; tweak explanation of commit messages. |