about summary refs log tree commit diff
path: root/Doc/Makefile.in
diff options
context:
space:
mode:
authorTanaka Akira <akr@users.sourceforge.net>1999-04-15 18:12:56 +0000
committerTanaka Akira <akr@users.sourceforge.net>1999-04-15 18:12:56 +0000
commit7a40d6c258ad87d147ee5d6839e746c33ebc0ac7 (patch)
treef1330b87515dca18f200b2ea435842de26ada0e9 /Doc/Makefile.in
parent20d67907c95265356b51dbdce8ecc0c1ede9e66b (diff)
downloadzsh-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.in11
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)