[m-rev.] for review: WWW: source distributions

[Simon Taylor]

Estimated hours taken: 0.2

w3/download/include/release.inc:
	Add a warning about the compilation time required
	to install a source distribution.
	
Index: download/include/release.inc
===================================================================
RCS file: /home/mercury1/repository/w3/download/include/release.inc,v
retrieving revision 1.23
diff -u -u -r1.23 release.inc
--- download/include/release.inc	2001/04/05 19:18:13	1.23
+++ download/include/release.inc	2001/05/11 07:35:41
@@ -169,6 +169,13 @@
 You can go to our FTP sites or mirrors, or directly
 download the source or binary distributions.
 
+<p>
+
+Note that although the source distribution is much smaller than
+the binary distribution, the compilation process will
+almost always take more time than is saved by the smaller
+download.
+
 <h3><a name="source">Source Distribution</a></h3>
 
 The main "mercury-compiler" source distribution is about 10 Mb.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------