[m-rev.] diff: fix bug #212

[Julien Fischer]

Branches: 11.07, main

Fix bug #212:

compiler/options.m:
doc/user_guide.texi:
 	Fix some incorrect documentation.

Julien.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.704
diff -u -r1.704 options.m
--- compiler/options.m	19 Oct 2011 07:58:27 -0000	1.704
+++ compiler/options.m	24 Oct 2011 13:57:16 -0000
@@ -3498,7 +3498,7 @@
          "--no-warn-smart-recompilation",
          "\tDisable warnings from the smart recompilation system.",
          "--no-warn-undefined-options-variables",
-        "\tWarn about references to undefined variables in",
+        "\tDo not warn about references to undefined variables in",
          "\toptions files with `--make'.",
          "--warn-non-tail-recursion",
          "\tWarn about any directly recursive calls that are not tail calls.",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.639
diff -u -r1.639 user_guide.texi
--- doc/user_guide.texi	13 Oct 2011 00:38:20 -0000	1.639
+++ doc/user_guide.texi	24 Oct 2011 13:58:48 -0000
@@ -6482,7 +6482,7 @@
  @item --no-warn-undefined-options-variables
  @findex --no-warn-undefined-options-variables
  @findex --make
-Warn about references to undefined variables in
+Do not warn about references to undefined variables in
  options files with @samp{--make}.

  @sp 1

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------