diff options
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 245c809ec81..29118deba7f 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2013-08-28 Paul Eggert <eggert@cs.ucla.edu> | ||
| 2 | |||
| 3 | * unidata/Makefile.in (SHELL): Now @SHELL@, not /bin/sh, | ||
| 4 | for portability to hosts where /bin/sh has problems. | ||
| 5 | |||
| 1 | 2013-08-27 Glenn Morris <rgm@gnu.org> | 6 | 2013-08-27 Glenn Morris <rgm@gnu.org> |
| 2 | 7 | ||
| 3 | * admin.el (manual-misc-manuals): Use INFO_COMMON rather than | 8 | * admin.el (manual-misc-manuals): Use INFO_COMMON rather than |