diff options
| author | Wayne Davison <wayned@users.sourceforge.net> | 2006-04-11 17:39:28 +0000 |
|---|---|---|
| committer | Wayne Davison <wayned@users.sourceforge.net> | 2006-04-11 17:39:28 +0000 |
| commit | 242556158dbdfa0df0bd2200213529a0cfd50db1 (patch) | |
| tree | e2fee977e1bd4f1e46e9e24f35561b47747d51d3 | |
| parent | 3f7d4db1e5b4b8e800ff633933f12c27fe1f1a94 (diff) | |
| download | zsh-242556158dbdfa0df0bd2200213529a0cfd50db1.tar.gz zsh-242556158dbdfa0df0bd2200213529a0cfd50db1.tar.xz zsh-242556158dbdfa0df0bd2200213529a0cfd50db1.zip | |
Use the --info-dir option with install-info instead of --dir-file.
| -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; \ |