diff options
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 7d745a2..b9e93df 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1383,7 +1383,7 @@ MAKEDIRS= \ $(exec_prefix) .PHONY: installdirs installdirs: mkinstalldirs - $(srcdir)/mkinstalldirs $(MAKEDIRS) + $(SHELL) $(srcdir)/mkinstalldirs $(MAKEDIRS) dir.info: do-install-info if [ -f $(srcdir)/texinfo/gen-info-dir ] ; then \ |