diff options
| author | Glenn Morris | 2013-07-04 18:35:56 -0700 |
|---|---|---|
| committer | Glenn Morris | 2013-07-04 18:35:56 -0700 |
| commit | 9f1d94c0e67101e0f22500b6899da03908ead891 (patch) | |
| tree | 2694ff4261a2d24362fe4fadb9fc0d514331dc8b /admin/ChangeLog | |
| parent | b9ed53d53585d9e1122eb3e452c74db1f2506324 (diff) | |
| download | emacs-9f1d94c0e67101e0f22500b6899da03908ead891.tar.gz emacs-9f1d94c0e67101e0f22500b6899da03908ead891.zip | |
* admin/admin.el (make-manuals): Use a standard location for lispintro.
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 8746657517e..ccee52e6b88 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,7 @@ | |||
| 1 | 2013-07-05 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * admin.el (make-manuals): Use a standard location for lispintro. | ||
| 4 | |||
| 1 | 2013-06-29 Glenn Morris <rgm@gnu.org> | 5 | 2013-06-29 Glenn Morris <rgm@gnu.org> |
| 2 | 6 | ||
| 3 | * admin.el (make-manuals): Don't bother with txt or dvi any more. | 7 | * admin.el (make-manuals): Don't bother with txt or dvi any more. |