[r2003-05-10 09:16:43 by cvscast] Empty log message

Original author: cvscast Date: 2003-05-10 09:16:43+00:00

[r2003-05-10 09:16:43 by cvscast] Empty log message
Original author: cvscast Date: 2003-05-10 09:16:43+00:00
12f6a97c · Pietro Abate · 55367577 · 12f6a97c
Commit 12f6a97c authored Oct 05, 2007 by Pietro Abate
--- a/Makefile
+++ b/Makefile
@@ -179,6 +179,6 @@ install_web_local:
 	ssh root@localhost "cp ~beppe/IMPLEM/CDUCE/webiface.opt /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/web/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;"

 build_website:
-	rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files; make driver/examples.ml"
+	rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files"
 	scp web/*.php web/cduce.css cduce@iris:public_html/