diff options
| author | Peter Stephenson <pws@users.sourceforge.net> | 2000-07-03 16:51:18 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@users.sourceforge.net> | 2000-07-03 16:51:18 +0000 |
| commit | 47e9efb061dd84118fd18a14682b771009fb44fb (patch) | |
| tree | e920914b2b54a2db1d068c6a521e806744f86b7d /Doc/Makefile.in | |
| parent | 044e8e054cbcc2c25fb95937add58b6fee15c61d (diff) | |
| download | zsh-47e9efb061dd84118fd18a14682b771009fb44fb.tar.gz zsh-47e9efb061dd84118fd18a14682b771009fb44fb.tar.xz zsh-47e9efb061dd84118fd18a14682b771009fb44fb.zip | |
12146: reintroduce install_info code
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 \ |