* Makefile.in (SHELL): Now @SHELL@, not /bin/sh,

for portability to hosts where /bin/sh has problems.
2013-08-27 23:01:52 -07:00
parent f60e429a1a
commit 50b13cdedb
24 changed files with 72 additions and 18 deletions
--- 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