summary refs log tree commit diff
path: root/Doc/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/Makefile.in')
-rw-r--r--Doc/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in
index 32bcb4aa0..fea6cb8b6 100644
--- a/Doc/Makefile.in
+++ b/Doc/Makefile.in
@@ -289,7 +289,7 @@ install.info: texi
 	    done \
 	); then \
 	    if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
-	      install-info --dir-file=$(DESTDIR)$(infodir)/dir \
+	      install-info --info-dir=$(DESTDIR)$(infodir) \
 	        $(DESTDIR)$(infodir)/$(tzsh).info; \
 	    else true; fi; \
 	    rm -rf infodir; \