[r2003-10-07 22:26:01 by cvscast] Empty log message

Original author: cvscast
Date: 2003-10-07 22:26:01+00:00

Makefile.distrib

@@ -173,7 +173,7 @@ driver/examples.ml: cduce web/examples/build.cd web/examples/examples.xml
 	(cd web/examples; ../../cduce --quiet build.cd --arg examples.xml)
 
 webpages: cduce web/site.cdo
-	(cd web; ../cduce --run site.cd  --arg site.xml)
+	(cd web; ../cduce --run site.cdo  --arg site.xml)
 
 web/site.cdo: cduce web/site.cd
 	./cduce --compile web/site.cd

web/manual/interpreter.xml

@@ -25,7 +25,7 @@ CDuce program, in the variable <code>argv</code> (of type <code>[
 String* ]</code>, which means sequence of character strings).  </li>
 
 
-<li> The option <code>--compile</code> produces a cduce objects file
+<li> The option <code>--compile</code> produces a cduce object file
 (suffix <code>.cdo</code>) that can be later executed by  <code>cduce --run</code>.  </li>
 
 
@@ -54,9 +54,8 @@ to choose the parser for XML files (available only when CDuce
 is built with expat support; default is <code>--expat</code>).</li>
 
 <li>All the other arguments on the command line are considered CDuce
-scripts, which are executed successively. The option
-<code>--stdin</code> forces the interpreter to consider the standard
-input as a input script.</li>
+scripts, which are executed successively. 
+</li>
 
 </ul>
 

web/site.cd

@@ -5,7 +5,7 @@
 let input =
   match argv with
   | [ s ] -> s
-  | _ -> raise "Please specify an input file on the command line"
+  | _ -> raise "Please use --arg to specify an input file on the command line"
 
 (** Output types **)