diff options
| author | Sébastien Hinderer <seb@tarides.com> | 2022-11-03 06:51:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-03 06:51:01 +0100 |
| commit | 31ba6edb0458e2b377d674257d9ccbd2c1e82804 (patch) | |
| tree | 484a00377534874d9e204be777ffdc3a66d73fc5 /man | |
| parent | 82db78ed3ca6b31346498e76163ca5cb56559292 (diff) | |
| parent | 25e0aa3f3920d8064dd26a2207b8e1429551c836 (diff) | |
| download | ocaml-31ba6edb0458e2b377d674257d9ccbd2c1e82804.tar.gz | |
Merge pull request #11653 from Abiola-Zeenat/Zhienart
Add the -no-absname option to ocamlc, ocamlopt and ocamldep
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocaml.1 | 3 | ||||
| -rw-r--r-- | man/ocamlc.1 | 3 | ||||
| -rw-r--r-- | man/ocamldep.1 | 3 | ||||
| -rw-r--r-- | man/ocamlopt.1 | 3 |
4 files changed, 12 insertions, 0 deletions
diff --git a/man/ocaml.1 b/man/ocaml.1 index 2f260c49ff..8e76c414c0 100644 --- a/man/ocaml.1 +++ b/man/ocaml.1 @@ -70,6 +70,9 @@ The following command-line options are recognized by .B \-absname Show absolute filenames in error messages. .TP +.B \-no-absname +Do not try to show absolute filenames in error messages. +.TP .BI \-I \ directory Add the given directory to the list of directories searched for source and compiled files. By default, the current directory is diff --git a/man/ocamlc.1 b/man/ocamlc.1 index 49a62ff8a1..bd3b0136c3 100644 --- a/man/ocamlc.1 +++ b/man/ocamlc.1 @@ -203,6 +203,9 @@ excluding the filename. .B \-absname Show absolute filenames in error messages. .TP +.B \-no-absname +Do not try to show absolute filenames in error messages. +.TP .B \-annot Deprecated since 4.11. Please use .BR \-bin-annot diff --git a/man/ocamldep.1 b/man/ocamldep.1 index 1c39e9d52a..45f562c677 100644 --- a/man/ocamldep.1 +++ b/man/ocamldep.1 @@ -60,6 +60,9 @@ The following command-line options are recognized by .B \-absname Show absolute filenames in error messages. .TP +.B \-no-absname +Do not try to show absolute filenames in error messages (default). +.TP .B \-all Generate dependencies on all required files, rather than assuming implicit dependencies. diff --git a/man/ocamlopt.1 b/man/ocamlopt.1 index 859c9f1a16..f93333470c 100644 --- a/man/ocamlopt.1 +++ b/man/ocamlopt.1 @@ -166,6 +166,9 @@ excluding the filename. .B \-absname Show absolute filenames in error messages. .TP +.B \-no-absname +Do not try to show absolute filenames in error messages. +.TP .B \-annot Deprecated since OCaml 4.11. Please use .BR \-bin-annot |