Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
PATCH: zsh-3.1.5-pws-5: install.info
- X-seq: zsh-workers 5047
- From: Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>
- To: "ZSH workers mailing list" <zsh-workers@xxxxxxxxxxxxxx>
- Subject: PATCH: zsh-3.1.5-pws-5: install.info
- Date: Wed, 27 Jan 1999 09:57:24 +0100
- In-reply-to: ""Andrej Borsenkow""'s message of "Tue, 26 Jan 1999 21:50:10 NFT." <005301be495c$b33b2810$21c9ca95@xxxxxxxxxxxxxxx>
- Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
"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@xxxxxxxxxxxxxxxxx> Tel: +39 050 844536
WWW: http://www.ifh.de/~pws/
Dipartimento di Fisica, Via Buonarroti 2, 56127 Pisa, Italy
Messages sorted by:
Reverse Date,
Date,
Thread,
Author