[m-rev.] diff: update documentation for --stack-segments option

[jfischer at opturion.com]

Update the documentation for --stack-segments option.

compiler/options.m:
doc/user_guide.texi:
 	The --stack-segments is now *not* ignored if --high-level-code
 	is enabled; an error is generated.

 	Add missing quotes.

Julien.

diff --git a/compiler/options.m b/compiler/options.m
index 10ecc62..78b3eab 100644
--- a/compiler/options.m
+++ b/compiler/options.m
@@ -4518,7 +4518,7 @@ options_help_compilation_model -->
          "\tEnable experimental complexity analysis for the predicates",
          "\tlisted in the given file.",
          "\tThis option is supported for the C back-end, with",
-        "\t--no-highlevel-code.",
+        "\t`--no-highlevel-code'.",

          "--threadscope\t\t(grade modifier: `.threadscope')",
          "\tEnable support for profiling parallel execution.",
@@ -4621,8 +4621,8 @@ options_help_compilation_model -->
          "\tSpecify whether to use dynamically sized stacks that are",
          "\tcomposed of small segments.  This can help to avoid stack",
          "\texhaustion at the cost of increased execution time.",
-        "\tThis option is ignored if the `--high-level-code' option is",
-        "\tenabled."
+        "\tThis option is not supported by the `--high-level-code'",
+        "\tback-ends."
          % This is a developer only option.
  %       "--use-float-registers",
  %       "(This option is not for general use.)",
diff --git a/doc/user_guide.texi b/doc/user_guide.texi
index a5aa49a..8ca56eb 100644
--- a/doc/user_guide.texi
+++ b/doc/user_guide.texi
@@ -8006,7 +8006,7 @@ Specify whether use dynamically sized stacks that are composed of small
  segments.
  This can help to avoid stack exhaustion at the cost of increased
  execution time.
-This option is ignored if the @samp{--high-level-code} option is enabled.
+This option is not supported by the @samp{--high-level-code} back-ends.
  @end table

  @node MLDS back-end compilation model options