for review: warn about problems with `make install'

[Fergus Henderson]

Hi,

Anyone care to review this one?

--------------------

Estimated hours taken: 0.25

.INSTALL.in:
	Warn about the problems that can occur if `make install'
	gets half-way.

Index: .INSTALL.in
===================================================================
RCS file: /home/mercury1/repository/mercury/.INSTALL.in,v
retrieving revision 1.3
diff -u -r1.3 .INSTALL.in
--- .INSTALL.in	1998/12/21 11:33:49	1.3
+++ .INSTALL.in	1999/03/05 19:06:39
@@ -32,6 +32,15 @@
 #	   The output from this stage will be automatically saved in the
 #	   file `make_install.log'.
 #
+#	   BEWARE: if something goes wrong in this step, e.g. running
+#	   out of disk space, and the installation has already gotten
+#	   past installing the documentation, and started installing
+#	   the different grades of the libraries (in particular if
+#	   `grep install_text make_install.log' prints out something
+#	   like `# install_text install_ps') then in general it is NOT
+#	   sufficient to simply rerun `make install'.  Instead you
+#	   may need to start from scratch again.
+#
 # Step 4.  Check the permissions on the installed files.
 #	   Add /usr/local/mercury- at VERSION@/bin to your PATH, and
 #	   add /usr/local/mercury- at VERSION@/man to your MANPATH.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.