Commit db7198dd authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: cvscast
Date: 2003-10-07 22:26:01+00:00
parent 6a09610b
...@@ -173,7 +173,7 @@ driver/examples.ml: cduce web/examples/build.cd web/examples/examples.xml ...@@ -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) (cd web/examples; ../../cduce --quiet build.cd --arg examples.xml)
webpages: cduce web/site.cdo 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 web/site.cdo: cduce web/site.cd
./cduce --compile web/site.cd ./cduce --compile web/site.cd
......
...@@ -25,7 +25,7 @@ CDuce program, in the variable <code>argv</code> (of type <code>[ ...@@ -25,7 +25,7 @@ CDuce program, in the variable <code>argv</code> (of type <code>[
String* ]</code>, which means sequence of character strings). </li> 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> (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 ...@@ -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> is built with expat support; default is <code>--expat</code>).</li>
<li>All the other arguments on the command line are considered CDuce <li>All the other arguments on the command line are considered CDuce
scripts, which are executed successively. The option scripts, which are executed successively.
<code>--stdin</code> forces the interpreter to consider the standard </li>
input as a input script.</li>
</ul> </ul>
......
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
let input = let input =
match argv with match argv with
| [ s ] -> s | [ 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 **) (** Output types **)
......
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