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

Original author: cvscast
Date: 2003-10-07 22:03:55+00:00

Makefile.distrib

@@ -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/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.out --arg site.xml)
+	(cd web; ../cduce --run site.cd  --arg site.xml)
 
-web/site.cd.out: cduce web/site.cd
+web/site.cdo: cduce web/site.cd
 	./cduce --compile web/site.cd
 
 website: webpages webiface

web/manual/interpreter.xml

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