summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2001-09-29 00:41:22 +0000
committerDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2001-09-29 00:41:22 +0000
commitdbea533031aafb5ae03300b68000131d4915221e (patch)
tree97ea3b18481d41c635d70c552afd7c08eae10afc
parent23306c8c51c4b7f9c7020aaee33adc3242cd2d06 (diff)
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3811 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--camlp4/man/camlp4.1.tpl10
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
]