summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
Diffstat (limited to 'man')
-rw-r--r--man/ocamldoc.m2
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ocamldoc.m b/man/ocamldoc.m
index 7cc0948453..ffdee529a8 100644
--- a/man/ocamldoc.m
+++ b/man/ocamldoc.m
@@ -160,7 +160,7 @@ Hide the given complete module names in the generated documentation.
.I modules
is a list of complete module names are separated by commas (,),
without blanks. For instance:
-.IR Pervasives,M2.M3 .
+.IR Stdlib,M2.M3 .
.TP
.B \-inv\-merge\-ml\-mli
Reverse the precedence of implementations and interfaces when merging.