diff options
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/misc/Makefile.in | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index c08de7e4a59..22148deace0 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2013-08-28 Paul Eggert <eggert@cs.ucla.edu> | ||
| 2 | |||
| 3 | * Makefile.in (SHELL): Now @SHELL@, not /bin/sh, | ||
| 4 | for portability to hosts where /bin/sh has problems. | ||
| 5 | |||
| 1 | 2013-08-28 Stefan Monnier <monnier@iro.umontreal.ca> | 6 | 2013-08-28 Stefan Monnier <monnier@iro.umontreal.ca> |
| 2 | 7 | ||
| 3 | Try to reduce redundancy in doc/misc/Makefile.in. | 8 | Try to reduce redundancy in doc/misc/Makefile.in. |
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 0c2b48aa67e..30fc4953172 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in | |||
| @@ -17,7 +17,7 @@ | |||
| 17 | # You should have received a copy of the GNU General Public License | 17 | # You should have received a copy of the GNU General Public License |
| 18 | # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. | 18 | # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
| 19 | 19 | ||
| 20 | SHELL = /bin/sh | 20 | SHELL = @SHELL@ |
| 21 | 21 | ||
| 22 | # Where to find the source code. $(srcdir) will be the man-aux | 22 | # Where to find the source code. $(srcdir) will be the man-aux |
| 23 | # subdirectory of the source tree. This is | 23 | # subdirectory of the source tree. This is |