diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-06-13 10:02:28 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-06-13 10:02:28 +0000 |
| commit | a0bb072243b5e7fae9fcf76bd5feb4b523c7f948 (patch) | |
| tree | 753399ad83703a70f3f1d5380687152e0cb22e5b /man/ocamlc.m | |
| parent | 77ce2bc57c8503329a5ca66885be63d63f5fed8b (diff) | |
Document -ppx in man pages.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man/ocamlc.m')
| -rw-r--r-- | man/ocamlc.m | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index 1de59fa70..7274b78bf 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -441,6 +441,10 @@ file is built from the basename of the source file with the extension .ppi for an interface (.mli) file and .ppo for an implementation (.ml) file. .TP +.BI \-ppx \ command +Pipe abstract syntax tree through preprocessor +.IR command . +.TP .B \-principal Check information path during type-checking, to make sure that all types are derived in a principal way. When using labelled arguments |