diff options
| author | Tanaka Akira <akr@users.sourceforge.net> | 1999-04-15 18:12:56 +0000 |
|---|---|---|
| committer | Tanaka Akira <akr@users.sourceforge.net> | 1999-04-15 18:12:56 +0000 |
| commit | 7a40d6c258ad87d147ee5d6839e746c33ebc0ac7 (patch) | |
| tree | f1330b87515dca18f200b2ea435842de26ada0e9 /Doc/Makefile.in | |
| parent | 20d67907c95265356b51dbdce8ecc0c1ede9e66b (diff) | |
| download | zsh-7a40d6c258ad87d147ee5d6839e746c33ebc0ac7.tar.gz zsh-7a40d6c258ad87d147ee5d6839e746c33ebc0ac7.tar.xz zsh-7a40d6c258ad87d147ee5d6839e746c33ebc0ac7.zip | |
zsh-3.1.5-pws-6 zsh-3.1.5-pws-6
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 1f8fa5ff9..e22f3c71d 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -112,11 +112,11 @@ version.yo: $(sdir_top)/Config/version.mk # ========== DEPENDENCIES FOR INSTALLING ========== -# install all the documentation -install: install.man install.info +# install just installs the manual pages +install: install.man -# uninstall all the documentation -uninstall: uninstall.man uninstall.info +# uninstall just unistalls the manual pages +uninstall: uninstall.man # install man pages, creating install directory if necessary install.man: $(MAN) @@ -141,6 +141,9 @@ install.info: zsh.info else :; \ fi || exit 1; \ done + if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ + install-info --dir-file=$(infodir)/dir $(infodir)/zsh.info; \ + else true; fi install.html: zsh_toc.html $(sdir_top)/mkinstalldirs $(htmldir) |