[r2003-11-25 08:36:05 by beppe] Empty log message

Original author: beppe
Date: 2003-11-25 08:36:05+00:00

Makefile

@@ -31,12 +31,12 @@ profile: misc/q_symbol.cmo
 
 cedre_build:
 	rsh cedre ". .env; cd IMPLEM/CDUCE; $(MAKE) webiface webpages"
-	scp CHANGES web/www/*.html web/cduce.css cduce@iris:public_html/
+	scp CHANGES INSTALL INSTALL.WIN32 web/www/*.html web/cduce.css cduce@iris:public_html/
 	scp webiface cduce@iris:cgi-bin/cduce
 
 install_web_distant:
 	$(MAKE) webpages
-	scp CHANGES web/www/*.html web/cduce.css cduce@iris:public_html/
+	scp CHANGES  INSTALL INSTALL.WIN32 web/www/*.html web/cduce.css cduce@iris:public_html/
 
 SCRIPT =
 INCLUDES_DEB = $(INCLUDES) $(shell ocamlfind query -i-format -recursive $(PACKAGES))

Makefile.distrib

@@ -216,7 +216,7 @@ website: webpages webiface
 
 install_web: website
 	cp  web/www/*.html web/cduce.css  $(HTML_DIR)/
-	cp CHANGES $(HTML_DIR)/
+	cp CHANGES  INSTALL INSTALL.WIN32 $(HTML_DIR)/
 	cp webiface $(CGI_DIR)/cduce
 	if test ! -d "$(HTML_DIR)/img" ; then \
 	  mkdir $(HTML_DIR)/img; \

web/download.xml

@@ -43,9 +43,10 @@ of the CVS tree.
 </p>
 
 <p>
-In order to built CDuce from the current CVS tree, you need
+In order to build CDuce from the current CVS tree, you need
 to install <a href="#side">ulex</a>, and also attentively 
-read INSTALL instructions.
+read the instructions in the <a href="INSTALL">INSTALL</a> file included in the 
+repository.
 </p>
 
 <p>
@@ -111,7 +112,7 @@ a version of CDuce statically compiled on a Linux box:
 
 <section title="Windows">
 <p>Compile the sources by following the instructions of the
-file INSTALL.WIN included.</p>
+file  <a href="INSTALL.WIN32">INSTALL.WIN32</a> included in the distribution.</p>
 </section>
 </box>