[m-rev.] diff: fix overlong lines in help message

[Julien Fischer]

Estimated hours taken: 0
Branches: main

Formatting fixes for the help message.

compiler/options.m:
 	Fix some lines in the help message that exceed 80 chars in length.

 	Other minor fixes to a few entries in the help message.

doc/user_guide.texi:
 	Conform to the above change.

Julien.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.548
diff -u -r1.548 options.m
--- compiler/options.m	13 Feb 2007 00:16:55 -0000	1.548
+++ compiler/options.m	22 Feb 2007 07:00:46 -0000
@@ -17,7 +17,6 @@
  % (../doc/user_guide.texi).
  %
  %-----------------------------------------------------------------------------%
-%-----------------------------------------------------------------------------%

  :- module libs.options.
  :- interface.
@@ -4261,17 +4260,18 @@
          "--control-granularity",
          "\tDon't try to generate more parallelism than the machine can",
          "\thandle, which is specified using --parallelism-target.",
-        "--parallelism-target N",
-        "\tSpecified the number of CPUs of the target machine, for use by",
+        "--parallelism-target <n>",
+        "\tSpecify the number of CPUs of the target machine, for use by",
          "\tthe --control-granularity option.",
-        "--distance-granularity <int value>",
-        "\tControl the granularity of parallel execution using the specified", 
-        "\tdistance value", 
+        "--distance-granularity <distance>",
+        "\tControl the granularity of parallel execution using the",
+        "\tspecified distance value.",
          "--implicit-parallelism",
          "\tIntroduce parallel conjunctions where it could be worthwhile", 
-        "\t(implicit parallelism) using deep profiling feedback information", 
-        "\tgenerated by mdprof_feedback. The profiling feedback file needs to",
-        "\be specified using the --feedback-file option."
+        "\t(implicit parallelism) using deep profiling feedback", 
+        "\tinformation generated by mdprof_feedback.",
+        "\tThe profiling feedback file can be specified using the",
+        "\t--feedback file option."
      ]).

  :- pred options_help_hlds_llds_optimization(io::di, io::uo) is det.
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.510
diff -u -r1.510 user_guide.texi
--- doc/user_guide.texi	13 Feb 2007 00:16:56 -0000	1.510
+++ doc/user_guide.texi	22 Feb 2007 07:03:27 -0000
@@ -7981,7 +7981,7 @@
  @findex --implicit-parallelism
  Introduce parallel conjunctions where it could be worthwhile (implicit
  parallelism) using deep profiling feedback information generated by 
-mdprof_feedback. The profiling feedback file needs to be specified using the 
+mdprof_feedback. The profiling feedback file can be specified using the
  --feedback-file option.

  @end table

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