diff options
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 1240069ad..51bf78415 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -266,6 +266,10 @@ install.info: texi $(INSTALL_DATA) $$file $(DESTDIR)$(infodir) || exit 1; \ done \ ); then \ + if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ + install-info --dir-file=$(DESTDIR)$(infodir)/dir \ + $(infodir)/$(tzsh).info; \ + else true; fi; \ rm -rf infodir; \ exit 0; \ else \ |