diff options
| author | Andrey Borzenkov <bor@users.sourceforge.net> | 2001-05-20 10:59:27 +0000 |
|---|---|---|
| committer | Andrey Borzenkov <bor@users.sourceforge.net> | 2001-05-20 10:59:27 +0000 |
| commit | 7270c28a3992a1a386bc491f0f026080bb88387e (patch) | |
| tree | 5b2b0e8569b73f7b532a4dfa4fbbbf3d3e2296da /Doc/Makefile.in | |
| parent | 2e7937686a26c0c227112f8310e11d193257b10f (diff) | |
| download | zsh-7270c28a3992a1a386bc491f0f026080bb88387e.tar.gz zsh-7270c28a3992a1a386bc491f0f026080bb88387e.tar.xz zsh-7270c28a3992a1a386bc491f0f026080bb88387e.zip | |
14401: workaround for script execution under Cygwin
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index d0e593066..d39777d72 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -250,7 +250,7 @@ uninstall: uninstall.man # install man pages, creating install directory if necessary install.man: man - $(sdir_top)/mkinstalldirs $(DESTDIR)$(mandir)/man1 + ${SHELL} $(sdir_top)/mkinstalldirs $(DESTDIR)$(mandir)/man1 for file in $(MAN); do \ $(INSTALL_DATA) $(sdir)/$$file $(DESTDIR)$(mandir)/man1/`echo $$file | sed 's|zsh|$(tzsh)|'` || exit 1; \ done @@ -258,7 +258,7 @@ install.man: man # install info pages, creating install directory if necessary install.info: texi - $(sdir_top)/mkinstalldirs $(DESTDIR)$(infodir) + ${SHELL} $(sdir_top)/mkinstalldirs $(DESTDIR)$(infodir) rm -rf infodir mkdir infodir if ( \ @@ -296,7 +296,7 @@ uninstall.info: # install HTML manual install.html: html - $(sdir_top)/mkinstalldirs $(DESTDIR)$(htmldir) + ${SHELL} $(sdir_top)/mkinstalldirs $(DESTDIR)$(htmldir) for file in zsh_*.html; do \ $(INSTALL_DATA) $$file $(DESTDIR)$(htmldir) || exit 1; \ done |