diff options
author | Tanaka Akira <akr@users.sourceforge.net> | 1999-09-29 23:04:30 +0000 |
---|---|---|
committer | Tanaka Akira <akr@users.sourceforge.net> | 1999-09-29 23:04:30 +0000 |
commit | 8ec88e183a09c05a873f4bf084c0858b50e29d78 (patch) | |
tree | f2ec0385c94c3faa2f7d3b97e713c85c642f0407 /Doc/Makefile.in | |
parent | d5e8eb07ad90aba006d653240572f0a8d5d64f88 (diff) | |
download | zsh-8ec88e183a09c05a873f4bf084c0858b50e29d78.tar.gz zsh-8ec88e183a09c05a873f4bf084c0858b50e29d78.tar.xz zsh-8ec88e183a09c05a873f4bf084c0858b50e29d78.zip |
zsh-workers/8106
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 a42e8123f..03ef6bbc0 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -186,7 +186,7 @@ install.info: zsh.info fi || exit 1; \ done if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ - install-info --dir-file=$(infodir)/dir $(infodir)/zsh.info; \ + install-info --dir-file=$(DESTDIR)$(infodir)/dir $(DESTDIR)$(infodir)/zsh.info; \ else true; fi install.html: zsh_toc.html |