Tweak man/manual

ocaml · Aug 6, 2021 · 9c9dc85 · 9c9dc85
1 parent 3b22f2f
commit 9c9dc85
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 25 deletions.
diff --git a/man/ocaml.m b/man/ocaml.m
@@ -254,17 +254,16 @@ use heuristics to enable colors only if the output supports them (an
 .B never
 disable color output.
 
-The default setting is
-.B auto,
-and the current heuristic
-checks that the "TERM" environment variable exists and is
-not empty or "dumb", and that isatty(stderr) holds.
-
 The environment variable "OCAML_COLOR" is considered if \-color is not
 provided. Its values are auto/always/never as above.
 
 If \-color is not provided, "OCAML_COLOR" is not set and the environment
-variable "NO_COLOR" is set, then color output is disabled.
+variable "NO_COLOR" is set, then color output is disabled. Otherwise,
+the default setting is
+.B auto,
+and the current heuristic
+checks that the "TERM" environment variable exists and is
+not empty or "dumb", and that isatty(stderr) holds.
 
 .TP
 .BI \-error\-style \ mode

diff --git a/man/ocamlc.m b/man/ocamlc.m
@@ -268,17 +268,16 @@ use heuristics to enable colors only if the output supports them (an
 .B never
 disable color output.
 
-The default setting is
-.B auto,
-and the current heuristic
-checks that the "TERM" environment variable exists and is
-not empty or "dumb", and that isatty(stderr) holds.
-
 The environment variable "OCAML_COLOR" is considered if \-color is not
 provided. Its values are auto/always/never as above.
 
 If \-color is not provided, "OCAML_COLOR" is not set and the environment
-variable "NO_COLOR" is set, then color output is disabled.
+variable "NO_COLOR" is set, then color output is disabled. Otherwise,
+the default setting is
+.B auto,
+and the current heuristic
+checks that the "TERM" environment variable exists and is
+not empty or "dumb", and that isatty(stderr) holds.
 
 .TP
 .BI \-error\-style \ mode

diff --git a/man/ocamlopt.m b/man/ocamlopt.m
@@ -224,17 +224,16 @@ use heuristics to enable colors only if the output supports them (an
 .B never
 disable color output.
 
-The default setting is
-.B auto,
-and the current heuristic
-checks that the "TERM" environment variable exists and is
-not empty or "dumb", and that isatty(stderr) holds.
-
 The environment variable "OCAML_COLOR" is considered if \-color is not
 provided. Its values are auto/always/never as above.
 
 If \-color is not provided, "OCAML_COLOR" is not set and the environment
-variable "NO_COLOR" is set, then color output is disabled.
+variable "NO_COLOR" is set, then color output is disabled. Otherwise,
+the default setting is
+.B auto,
+and the current heuristic
+checks that the "TERM" environment variable exists and is
+not empty or "dumb", and that isatty(stderr) holds.
 
 .TP
 .BI \-error\-style \ mode

diff --git a/manual/src/cmds/unified-options.etex b/manual/src/cmds/unified-options.etex
@@ -126,15 +126,15 @@ The following modes are supported:
   \item["always"] enable colors unconditionally;
   \item["never"] disable color output.
 \end{description}
-The default setting is 'auto', and the current heuristic
-checks that the "TERM" environment variable exists and is
-not empty or "dumb", and that 'isatty(stderr)' holds.
 
 The environment variable "OCAML_COLOR" is considered if "-color" is not
 provided. Its values are auto/always/never as above.
 
 If "-color" is not provided, "OCAML_COLOR" is not set and the environment
-variable "NO_COLOR" is set, then color output is disabled.
+variable "NO_COLOR" is set, then color output is disabled. Otherwise,
+the default setting is 'auto', and the current heuristic
+checks that the "TERM" environment variable exists and is
+not empty or "dumb", and that 'isatty(stderr)' holds.
 }%notop
 
 \notop{%