diff options
Diffstat (limited to 'doc/misc/Makefile.in')
| -rw-r--r-- | doc/misc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
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 |