Commit 7d647093 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-10-07 22:02:48 by cvscast] Empty log message

Original author: cvscast
Date: 2003-10-07 22:03:55+00:00
parent f0982627
......@@ -148,7 +148,7 @@ clean:
rm -f dtd2cduce pool webiface validate
rm -Rf prepro package
rm -f web/www/*.html web/*~
rm -f web/site.cdo
rm -f web/*.cdo
.SUFFIXES: .ml .mli .cmo .cmi .cmx
......@@ -173,9 +173,9 @@ driver/ cduce web/examples/ web/examples/examples.xml
(cd web/examples; ../../cduce --quiet --arg examples.xml)
webpages: cduce web/site.cdo
(cd web; ../cduce --run --arg site.xml)
(cd web; ../cduce --run --arg site.xml)
web/ cduce web/
web/site.cdo: cduce web/
./cduce --compile web/
website: webpages webiface
......@@ -24,6 +24,11 @@ The options and arguments are:
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
(suffix <code>.cdo</code>) that can be later executed by <code>cduce --run</code>. </li>
<li> The switch <code>--quiet</code> suppresses normal output (typing,
results). This option is normally used when the CDuce interpreter is used in
the context of batch processing. </li>
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