[m-rev.] trivial diff: delete residual .rt documentation

[Julien Fischer]

Estimated hours taken: 0
Branches: main

compiler/options.m:
doc/user_guide.texi:
 	Delete left over documentation for the .rt grades.

Julien.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.595
diff -u -r1.595 options.m
--- compiler/options.m	24 Oct 2007 09:35:46 -0000	1.595
+++ compiler/options.m	25 Oct 2007 01:54:58 -0000
@@ -3650,7 +3650,7 @@
  % it has been superceded by the il grade.
          "\tor one of those with one or more of the grade modifiers",
          "\t`.gc', `.mps', `.prof', `.memprof', `.profdeep', `.tr',",
-        "\t`.rt', `.spf', `.debug', `.par' and/or `.pic_reg' appended.",
+        "\t`.spf', `.debug', `.par' and/or `.pic_reg' appended.",
          "\tDepending on your particular installation, only a subset",
          "\tof these possible grades will have been installed.",
          "\tAttempting to use a grade which has not been installed",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.547
diff -u -r1.547 user_guide.texi
--- doc/user_guide.texi	24 Oct 2007 09:21:16 -0000	1.547
+++ doc/user_guide.texi	25 Oct 2007 01:55:45 -0000
@@ -7129,7 +7129,6 @@
  @cindex .gc (grade modifier)
  @cindex .mps (grade modifier)
  @cindex .agc (grade modifier)
- at cindex .rt (grade modifier)
  @cindex .spf (grade modifier)
  @cindex .debug (grade modifier)
  @cindex .decldebug (grade modifier)
@@ -7141,7 +7140,6 @@
  @cindex tr (grade modifier)
  @cindex gc (grade modifier)
  @cindex agc (grade modifier)
- at cindex rt (grade modifier)
  @cindex spf (grade modifier)
  @cindex debug (grade modifier)
  @cindex decldebug (grade modifier)

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------