diff options
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 2 |
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; \ |