diff options
Diffstat (limited to 'doc/emacs/Makefile.in')
-rw-r--r-- | doc/emacs/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/emacs/Makefile.in b/doc/emacs/Makefile.in index 7aeead4e2f6..bf9f8152ad4 100644 --- a/doc/emacs/Makefile.in +++ b/doc/emacs/Makefile.in @@ -17,7 +17,7 @@ # You should have received a copy of the GNU General Public License # along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. -SHELL = /bin/sh +SHELL = @SHELL@ # NB If you add any more configure variables, # update the sed rules in the dist target below. |