summaryrefslogtreecommitdiffstats
path: root/man
diff options
context:
space:
mode:
authorLuc Maranget <luc.maranget@inria.fr>2003-07-24 08:57:02 +0000
committerLuc Maranget <luc.maranget@inria.fr>2003-07-24 08:57:02 +0000
commit056a57ef0427e75be1f873ee9e86e36df1f5d13c (patch)
treef98849b072f8f1ab6f4953e4b514d87e542c75b0 /man
parent10a0767fda517163e901cd8969e55a76db99d369 (diff)
options in ocamllex man page
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5733 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man')
-rw-r--r--man/ocamllex.m26
1 files changed, 26 insertions, 0 deletions
diff --git a/man/ocamllex.m b/man/ocamllex.m
index 4101e89f3..3b1340d33 100644
--- a/man/ocamllex.m
+++ b/man/ocamllex.m
@@ -5,6 +5,12 @@ ocamllex \- The Objective Caml lexer generator
.SH SYNOPSIS
.B ocamllex
+[
+.BI \-o \ output-file
+]
+[
+.B \-ml
+]
.I filename.mll
.SH DESCRIPTION
@@ -38,6 +44,26 @@ When used in conjunction with a parser generated by
the semantic actions compute a value belonging to the type token defined
by the generated parsing module.
+.SH OPTIONS
+
+The
+.BR ocamllex (1)
+command recognizes the following options:
+
+.TP
+.BI \-o \ output-file
+Specify the output file name
+.IR output-file
+instead of the default naming convention.
+
+.TP
+.B \-ml
+Output code that does not use the Caml built-in automata
+interpreter. Instead, the automaton is encoded by Caml functions.
+This option is useful for debugging
+.BR ocamllex (1),
+using it for production lexers is not recommended.
+
.SH SEE ALSO
.BR ocamlyacc (1).
.br