summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2019-06-21 11:17:25 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2019-06-26 18:11:58 +0100
commit7c2284eda383af02269dc8c3fc079dd418ab431d (patch)
treeb8a588ee2afd5d8f7c00d669e2d6086c13ad399b /man
parent6a6f34e48306d573bf3036681cb304ed84415957 (diff)
downloadocaml-7c2284eda383af02269dc8c3fc079dd418ab431d.tar.gz
Rename references to Pervasives to Stdlib
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.