[m-rev.] diff: minor fixes to README.DotNet

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: release, main

README.DotNet:
	Some minor clarifications, particularly with regard to using the
	source/binary distributions.

Workspace: /mnt/venus/home/venus/fjh/ws-venus2/mercury
Index: README.DotNet
===================================================================
RCS file: /home/mercury1/repository/mercury/README.DotNet,v
retrieving revision 1.1
diff -u -d -r1.1 README.DotNet
--- README.DotNet	2001/01/07 11:42:40	1.1
+++ README.DotNet	2001/03/23 20:30:43
@@ -31,11 +31,13 @@
 	  Mercury still relies upon the Cygwin environment for
 	  development environment tools such as `mmake'.
 
-	- The Mercury distribution -- installed as usual.  You make sure
+	- The Mercury distribution -- installed as usual.  Make sure
 	  the installation is run after the .NET SDK is installed (run
 	  it again if necessary) so that the configuration scripts
 	  detect the installation path of the SDK.  If `configure' finds
-	  `ilasm' then this has been successful.
+	  `ilasm' then this has been successful.  You can install
+	  from the binary distribution, but you will also need the source
+	  distribution to install the libraries for .NET (see below).
 
 	  If you're reading this file from somewhere other than the
 	  Mercury distribution, try the Mercury homepage at
@@ -50,7 +52,9 @@
 is still somewhat rudimentary.
 
 To run a Mercury program using the ilc grade, you need to build the
-library and runtime.  Run the following commands in a cygwin shell:
+library and runtime in the ilc grade, using the Mercury source distribution.
+After unpacking the Mercury source distribution,
+run the following commands in a Cygwin shell:
 
 	cd mercury
 	autoconf

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