diff options
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 07c824ab5e2..f6f25f26733 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,10 @@ | |||
| 1 | 2013-06-29 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * admin.el (make-manuals): Don't bother with txt or dvi any more. | ||
| 4 | (manual-txt): Remove. | ||
| 5 | (manual-pdf): Doc fix. | ||
| 6 | (manual-ps): Rename from manual-dvi. | ||
| 7 | |||
| 1 | 2013-06-15 Xue Fuqiao <xfq.free@gmail.com> | 8 | 2013-06-15 Xue Fuqiao <xfq.free@gmail.com> |
| 2 | 9 | ||
| 3 | * notes/changelogs: Mention trivial changes in Change Log. | 10 | * notes/changelogs: Mention trivial changes in Change Log. |