[m-rev.] trivial diff: document .mps grade modifier

[Fergus Henderson]

This fixes an XXX mentioned in the log message for my MPS changes:

 | compiler/handle_options.m:
 | 	Handle the "mps" grade component.
 | 	(XXX need to document this in options.m and user_guide.texi)

Estimated hours taken: 0.5
Branches: main

compiler/options.m:
doc/user_guide.texi:
	Fix a couple of places in the documentation where I had neglected
	to document the `.mps' grade modifier.

Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.383
diff -u -d -r1.383 options.m
--- compiler/options.m	21 Aug 2002 11:27:16 -0000	1.383
+++ compiler/options.m	22 Aug 2002 07:27:26 -0000
@@ -2595,7 +2595,7 @@
 % and the --gcc-nested-functions option is not yet documented.
 %		"\t`hl', `hl_nest', `hlc_nest'",
 		"\tor one of those with one or more of the grade modifiers",
-		"\t`.gc', `.prof', `.memprof', `.tr', `.rt', `.debug', `.par'",
+		"\t`.gc', `.mps', `.prof', `.memprof', `.tr', `.rt', `.debug', `.par'",
 		"\tand/or `.pic_reg' appended.",
 		"\tDepending on your particular installation, only a subset",
 		"\tof these possible grades will have been installed.",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.321
diff -u -d -r1.321 user_guide.texi
--- doc/user_guide.texi	21 Aug 2002 11:27:23 -0000	1.321
+++ doc/user_guide.texi	22 Aug 2002 07:29:13 -0000
@@ -4384,6 +4384,7 @@
 @cindex .profdeep (grade modifier)
 @cindex .tr (grade modifier)
 @cindex .gc (grade modifier)
+ at cindex .mps (grade modifier)
 @cindex .agc (grade modifier)
 @cindex .rt (grade modifier)
 @cindex .debug (grade modifier)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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
--------------------------------------------------------------------------