summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2014-10-04 10:39:29 +0000
committerGabriel Scherer <gabriel.scherer@gmail.com>2014-10-04 10:39:29 +0000
commit44d272a34cdec16ec19113a1a0cab20918780f32 (patch)
treed3beec64943db9efa85a6913c29085bca11014b5 /man
parentf3ebb28d90eca644063fbff2ae296a315b0bf8c9 (diff)
downloadocaml-44d272a34cdec16ec19113a1a0cab20918780f32.tar.gz
Document -ppx option.
From: Peter Zotov <whitequark@whitequark.org> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man')
-rw-r--r--man/ocaml.m5
-rw-r--r--man/ocamlc.m5
-rw-r--r--man/ocamlopt.m5
3 files changed, 9 insertions, 6 deletions
diff --git a/man/ocaml.m b/man/ocaml.m
index 6764d52ce3..79f81df0a4 100644
--- a/man/ocaml.m
+++ b/man/ocaml.m
@@ -142,8 +142,9 @@ the statements open! module1;; ... open! moduleN;; were input.
.BI \-ppx \ command
After parsing, pipe the abstract syntax tree through the preprocessor
.IR command .
-The format of the input and output of the preprocessor
-are not yet documented.
+The module
+.BR Ast_mapper (3)
+implements the external interface of a preprocessor.
.TP
.B \-principal
Check information path during type-checking, to make sure that all
diff --git a/man/ocamlc.m b/man/ocamlc.m
index 8661a76a76..090f1c686c 100644
--- a/man/ocamlc.m
+++ b/man/ocamlc.m
@@ -502,8 +502,9 @@ implementation (.ml) file.
.BI \-ppx \ command
After parsing, pipe the abstract syntax tree through the preprocessor
.IR command .
-The format of the input and output of the preprocessor
-are not yet documented.
+The module
+.BR Ast_mapper (3)
+implements the external interface of a preprocessor.
.TP
.B \-principal
Check information path during type-checking, to make sure that all
diff --git a/man/ocamlopt.m b/man/ocamlopt.m
index b1b173afa8..fb20ca99c8 100644
--- a/man/ocamlopt.m
+++ b/man/ocamlopt.m
@@ -457,8 +457,9 @@ errors, the intermediate file is deleted afterwards.
.BI \-ppx \ command
After parsing, pipe the abstract syntax tree through the preprocessor
.IR command .
-The format of the input and output of the preprocessor
-are not yet documented.
+The module
+.BR Ast_mapper (3)
+implements the external interface of a preprocessor.
.TP
.B \-principal
Check information path during type-checking, to make sure that all