diff options
| author | Glenn Morris | 2013-07-05 09:10:47 -0700 |
|---|---|---|
| committer | Glenn Morris | 2013-07-05 09:10:47 -0700 |
| commit | f114e6c3ca0d5402e8996fc02977d9166b898e4d (patch) | |
| tree | dc3a4e0ff2b14c0fd91476243f845dd71cca68de /admin/ChangeLog | |
| parent | c0747758896a1d0ca4fd9649277ff5adbdf757d7 (diff) | |
| download | emacs-f114e6c3ca0d5402e8996fc02977d9166b898e4d.tar.gz emacs-f114e6c3ca0d5402e8996fc02977d9166b898e4d.zip | |
* admin/admin.el (make-manuals): Use a pdf/ subdirectory for pdf versions.
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index ccee52e6b88..4f7c90bccdf 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,6 +1,7 @@ | |||
| 1 | 2013-07-05 Glenn Morris <rgm@gnu.org> | 1 | 2013-07-05 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * admin.el (make-manuals): Use a standard location for lispintro. | 3 | * admin.el (make-manuals): Use a standard location for lispintro. |
| 4 | Use a pdf/ subdirectory for pdf versions. | ||
| 4 | 5 | ||
| 5 | 2013-06-29 Glenn Morris <rgm@gnu.org> | 6 | 2013-06-29 Glenn Morris <rgm@gnu.org> |
| 6 | 7 | ||