diff options
| author | Etienne Millon <etienne@cryptosense.com> | 2017-06-30 15:52:45 +0200 |
|---|---|---|
| committer | Etienne Millon <etienne@cryptosense.com> | 2017-06-30 15:56:18 +0200 |
| commit | e795b95eb7a5895e47feb4f68e654aa21bd9c9fe (patch) | |
| tree | e65b69a657bfec1707762ab25a889d074ddeab5f /man | |
| parent | de6ec33c6eb210071ce8e26d059c765e82e8c004 (diff) | |
| download | ocaml-e795b95eb7a5895e47feb4f68e654aa21bd9c9fe.tar.gz | |
Fix "-keep-docs" option in ocamlopt manpage
It was a duplicate of `-keep-locs` below.
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocamlopt.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ocamlopt.m b/man/ocamlopt.m index a20332aa33..f2a2b208a0 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -333,7 +333,7 @@ Recognize file names ending with .I string as interface files (instead of the default .mli). .TP -.B \-keep-locs +.B \-keep-docs Keep documentation strings in generated .cmi files. .TP .B \-keep-locs |