diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2023-04-17 12:03:06 +0200 |
---|---|---|
committer | Damien Doligez <damien.doligez@inria.fr> | 2023-04-17 12:03:36 +0200 |
commit | 4c896cfabe86d99ba33934b7b84c577b6f3320db (patch) | |
tree | e776823e0fecd0bfa22731f43628aa9348fe7274 /otherlibs | |
parent | 5c0fb8e23865fdbf151bdbe15d91176903c284d3 (diff) | |
download | ocaml-4c896cfabe86d99ba33934b7b84c577b6f3320db.tar.gz |
fix broken links in documentation comments
Diffstat (limited to 'otherlibs')
-rw-r--r-- | otherlibs/unix/unix.mli | 2 | ||||
-rw-r--r-- | otherlibs/unix/unixLabels.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index 3cdb1c701a..e416d5c53b 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -921,7 +921,7 @@ val open_process_full : val open_process_args : string -> string array -> in_channel * out_channel (** [open_process_args prog args] runs the program [prog] with arguments [args]. Note that the first argument is by convention the filename of - the program being executed, just like {!Sys.argv.(0)}. The new process + the program being executed, just like [Sys.argv.(0)]. The new process executes concurrently with the current process. The standard input and output of the new process are redirected to pipes, which can be respectively read and written via the returned channels. The input diff --git a/otherlibs/unix/unixLabels.mli b/otherlibs/unix/unixLabels.mli index a92ffc56e0..3ad2c778ce 100644 --- a/otherlibs/unix/unixLabels.mli +++ b/otherlibs/unix/unixLabels.mli @@ -921,7 +921,7 @@ val open_process_full : val open_process_args : string -> string array -> in_channel * out_channel (** [open_process_args prog args] runs the program [prog] with arguments [args]. Note that the first argument is by convention the filename of - the program being executed, just like {!Sys.argv.(0)}. The new process + the program being executed, just like [Sys.argv.(0)]. The new process executes concurrently with the current process. The standard input and output of the new process are redirected to pipes, which can be respectively read and written via the returned channels. The input |