Update manual

ocaml · Aug 5, 2021 · b77d0ee · b77d0ee
1 parent da73518
commit b77d0ee
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 0 deletions.
diff --git a/man/ocaml.m b/man/ocaml.m
@@ -263,6 +263,9 @@ use heuristics to enable colors only if the output supports them (an
 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.
+
 .TP
 .BI \-error\-style \ mode
 Control the way error messages and warnings are printed.

diff --git a/man/ocamlc.m b/man/ocamlc.m
@@ -277,6 +277,9 @@ use heuristics to enable colors only if the output supports them (an
 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.
+
 .TP
 .BI \-error\-style \ mode
 Control the way error messages and warnings are printed.

diff --git a/man/ocamlopt.m b/man/ocamlopt.m
@@ -233,6 +233,9 @@ use heuristics to enable colors only if the output supports them (an
 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.
+
 .TP
 .BI \-error\-style \ mode
 Control the way error messages and warnings are printed.

diff --git a/manual/src/cmds/unified-options.etex b/manual/src/cmds/unified-options.etex
@@ -132,6 +132,9 @@ 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.
 }%notop
 
 \notop{%