diff options
| -rw-r--r-- | camlp4/man/camlp4.1.tpl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/camlp4/man/camlp4.1.tpl b/camlp4/man/camlp4.1.tpl index 18a7ae95d..0fc617b88 100644 --- a/camlp4/man/camlp4.1.tpl +++ b/camlp4/man/camlp4.1.tpl @@ -10,21 +10,21 @@ ocpp - Universal preprocessor .B camlp4 [ load-options -] [ +] [--] [ other-options ] .br .B camlp4o [ load-options -] [ +] [--] [ other-options ] .br .B camlp4r [ load-options -] [ +] [--] [ other-options ] .br @@ -42,12 +42,12 @@ file .LP .br .B camlp4o.opt -[ +[--] [ other-options ] .br .B camlp4r.opt -[ +[--] [ other-options ] |