about summary refs log tree commit diff
path: root/Doc
diff options
context:
space:
mode:
Diffstat (limited to 'Doc')
-rw-r--r--Doc/Makefile.in4
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 \