diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2013-08-27 23:01:52 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2013-08-27 23:01:52 -0700 |
| commit | 50b13cdedb19f4bdd6737e8d2cdb4daa4e886c92 (patch) | |
| tree | a58d431171217eb2172386e3b67452fa09d79f99 /admin/ChangeLog | |
| parent | f60e429a1a1a0d6a51761ef12e54dde52967f085 (diff) | |
* Makefile.in (SHELL): Now @SHELL@, not /bin/sh,
for portability to hosts where /bin/sh has problems.
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 @@ +2013-08-28 Paul Eggert <eggert@cs.ucla.edu> + + * unidata/Makefile.in (SHELL): Now @SHELL@, not /bin/sh, + for portability to hosts where /bin/sh has problems. + 2013-08-27 Glenn Morris <rgm@gnu.org> * admin.el (manual-misc-manuals): Use INFO_COMMON rather than |