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

Original author: cvscast
Date: 2003-05-25 10:40:12+00:00

doc/cduce.1

@@ -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

doc/cduce.docbook

@@ -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>

driver/run.ml

@@ -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)";