* PATCH: zsh-3.1.5-pws-5: install.info
1999-01-26 18:50 ` PATCH: zsh-3.1.5-pws-5: creating info dir entry with install.info Andrej Borsenkow
@ 1999-01-27 8:57 ` Peter Stephenson
0 siblings, 0 replies; 2+ messages in thread
From: Peter Stephenson @ 1999-01-27 8:57 UTC (permalink / raw)
To: ZSH workers mailing list
"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
^ permalink raw reply [flat|nested] 2+ messages in thread