From mboxrd@z Thu Jan  1 00:00:00 1970
Mailing-List: contact zsh-workers-help@sunsite.auc.dk; run by ezmlm
Precedence: bulk
X-No-Archive: yes
Message-Id: <9901270857.AA40044@ibmth.df.unipi.it>
To: "ZSH workers mailing list" <zsh-workers@sunsite.auc.dk>
Subject: PATCH: zsh-3.1.5-pws-5: install.info 
In-Reply-To: ""Andrej Borsenkow""'s message of "Tue, 26 Jan 1999 21:50:10 NFT."
             <005301be495c$b33b2810$21c9ca95@mowp.siemens.ru> 
Date: Wed, 27 Jan 1999 09:57:24 +0100
From: Peter Stephenson <pws@ibmth.df.unipi.it>
X-Mailing-List: <zsh-workers@sunsite.auc.dk> 5047

"Andrej Borsenkow" wrote:
> > Thanks.  BTW, it would be more "standard" for there to be a
> > separate target
> > in the Makefile, "make install-info", which has to be done separately from
> > "make install".
> 
> It is not my choice. I am all for it, but it was not me who wrote Makefile.
> So I Cc it to zsh-workers for general discussion.

Fine by me, though it's still called install.info to fit in with
everything else.

--- Doc/Makefile.in.inst	Tue Jan 26 14:42:53 1999
+++ Doc/Makefile.in	Wed Jan 27 09:55:20 1999
@@ -112,11 +112,11 @@
 
 # ========== 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)
--- INSTALL.inst	Wed Oct 28 22:24:06 1998
+++ INSTALL	Wed Jan 27 09:51:56 1999
@@ -114,15 +114,18 @@
 To install the zsh man page, do the command:
     make install.man
 
-To install the zsh info files, do the command:
-    make install.info
-
 Or alternatively, you can install all the above with the command:
     make install
 
-"make install.info" will only move the info files into the info directory.
-You will have to edit the topmost node of the info tree "dir" manually
-in order to have the zsh info files available to your info reader.
+To install the zsh info files (this must be done separately), do the
+command:
+    make install.info
+
+If the programme install-info is available, "make install.info" will
+insert an entry in the file "dir" in the same directory as the info
+files.  Otherwise you will have to edit the topmost node of the info
+tree "dir" manually in order to have the zsh info files available to
+your info reader.
 
 Building Zsh On Additional Architectures
 ----------------------------------------
--- Makefile.in.inst	Tue Nov 10 09:35:28 1998
+++ Makefile.in	Wed Jan 27 09:50:33 1999
@@ -55,9 +55,9 @@
 install-strip:
 	$(MAKE) install STRIPFLAGS="-s"
 
-# install/uninstall everything
-install: install.bin install.modules install.man install.info
-uninstall: uninstall.bin uninstall.modules uninstall.man uninstall.info
+# install/uninstall everything (except info)
+install: install.bin install.modules install.man
+uninstall: uninstall.bin uninstall.modules uninstall.man
 
 # install/uninstall just the binary
 install.bin uninstall.bin:

-- 
Peter Stephenson <pws@ibmth.df.unipi.it>       Tel: +39 050 844536
WWW:  http://www.ifh.de/~pws/
Dipartimento di Fisica, Via Buonarroti 2, 56127 Pisa, Italy