Commit 6282a59d authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-05-25 10:40:12 by cvscast] Typos

Original author: cvscast
Date: 2003-05-25 10:40:12+00:00
parent f6791f4b
......@@ -6,7 +6,7 @@ cduce \- The CDuce interpreter
\fBcduce\fR [ \fB -v
--quiet
--licence\fR ] [ \fB --dump \fIfile\fB\fR ] [ \fB \fIfile.cd\fB\fR\fI ...\fR ] [ \fB--arg \fIargument\fB\fR\fI ...\fR ]
--license\fR ] [ \fB --dump \fIfile\fB\fR ] [ \fB \fIfile.cd\fB\fR\fI ...\fR ] [ \fB--arg \fIargument\fB\fR\fI ...\fR ]
.SH "DESCRIPTION"
.PP
......
......@@ -18,7 +18,7 @@
<arg choice="opt">
<option>-v</option>
<option>--quiet</option>
<option>--licence</option>
<option>--license</option>
</arg>
<arg choice="opt">
<option>--dump <filename>file</filename></option>
......
......@@ -19,13 +19,13 @@ let specs =
Printf.eprintf "CDuce, version %s\n"
Cduce.version; exit 0),
"print CDuce version";
"--licence", Arg.Unit (fun () ->
"--license", Arg.Unit (fun () ->
Printf.eprintf "\n\
The CDuce interpreter is distributed under the terms of the Q Public \n\
License version 1.0 (included in the sources). The Choice of Law section\n\
been modified from the original Q Public.\n\n
"; exit 0),
"print CDuce licence";
"print CDuce license";
"--arg", Arg.Rest (fun s -> args := s :: !args),
" the arguments that follow are passed to the CDuce program (in argv)";
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment