[m-rev.] trivial diff: delete doubled word from --help message

[Julien Fischer]

Estimated hours taken: 0
Branches: main

compiler/options.m:
 	Delete a doubled word from the --help message.

Julien.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.560
diff -u -r1.560 options.m
--- compiler/options.m	23 May 2007 10:14:51 -0000	1.560
+++ compiler/options.m	23 May 2007 10:19:18 -0000
@@ -3038,8 +3038,7 @@
          "\tfile after compiling a module (default: 15).",
          "--verbose-commands",
          "\tOutput each external command before it is run.",
-        "\tNote that some commands will only be printed",
-        "\tprinted with `--verbose'.",
+        "\tNote that some commands will only be printed with `--verbose'.",
          "--verbose-recompilation",
          "\tWhen using `--smart-recompilation', output messages",
          "\texplaining why a module needs to be recompiled.",

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