[m-rev.] trivial diff: update comments in mercury.bat

[Fergus Henderson]

Estimated hours taken: 0.1
Branches: main

scripts/mercury.bat.in:
	Update some obsolete documentation: mention `mmc --make'.

Workspace: /c/fjh/ws/2/mercury
Index: scripts/mercury.bat.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/mercury.bat.in,v
retrieving revision 1.1
diff -u -d -r1.1 mercury.bat.in
--- scripts/mercury.bat.in	27 May 2001 10:52:08 -0000	1.1
+++ scripts/mercury.bat.in	24 Oct 2002 05:12:22 -0000
@@ -23,10 +23,7 @@
 rem	(3) For installation (`configure' and `make install').
 rem There are work-arounds for some but not all of these:
 rem	(1) Currently there's no work-around for `c2init' and `ml'
-rem	(2) `mmake' is not strictly necessary; you can always invoke the
-rem	    necessary commands by hand.  This is of course tedious and
-rem	    error-prone, so we might eventually include more of mmake's
-rem	    functionality into the Mercury compiler itself.
+rem	(2) Use `mmc --make'.
 rem	(3) This would be easy enough to avoid; if we're willing to hard-code
 rem	    the installation path, we could easily package up the installation
 rem         in a WinZip file or something similar.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------