diff --git a/man/ocaml.m b/man/ocaml.m
index 79f81df0a..5c839ea61 100644
--- a/man/ocaml.m
+++ b/man/ocaml.m
@@ -81,9 +81,9 @@ If the given directory starts with
 .BR + ,
 it is taken relative to the
 standard library directory. For instance,
-.B \-I\ +camlp4
+.B \-I\ +compiler-libs
 adds the subdirectory
-.B camlp4
+.B compiler-libs
 of the standard library to the search path.
 .IP
 Directories can also be added to the search path once the toplevel
diff --git a/man/ocamlc.m b/man/ocamlc.m
index 090f1c686..26ce50f7c 100644
--- a/man/ocamlc.m
+++ b/man/ocamlc.m
@@ -350,9 +350,9 @@ If the given directory starts with
 .BR + ,
 it is taken relative to the
 standard library directory. For instance,
-.B \-I\ +camlp4
+.B \-I\ +compiler-libs
 adds the subdirectory
-.B camlp4
+.B compiler-libs
 of the standard library to the search path.
 .TP
 .BI \-impl \ filename
@@ -745,7 +745,7 @@ have type
 \ \ Non-returning statement.
 
 22
-\ \ Camlp4 warning.
+\ \ Preprocessor warning.
 
 23
 \ \ Useless record
diff --git a/man/ocamlopt.m b/man/ocamlopt.m
index fb20ca99c..15b0c3b89 100644
--- a/man/ocamlopt.m
+++ b/man/ocamlopt.m
@@ -260,9 +260,9 @@ If the given directory starts with
 .BR + ,
 it is taken relative to the
 standard library directory. For instance,
-.B \-I\ +camlp4
+.B \-I\ +compiler-libs
 adds the subdirectory
-.B camlp4
+.B compiler-libs
 of the standard library to the search path.
 .TP
 .BI \-impl \ filename