[r2003-05-17 10:40:00 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-17 10:40:00+00:00

Makefile

@@ -176,7 +176,7 @@ build_web:
 install_web:
 	ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface.opt cgi-bin/cduce; chmod +s cgi-bin/cduce"
 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;"
+	ssh root@localhost "cp -f ~beppe/IMPLEM/CDUCE/webiface.opt /var/www/cgi-bin/cduce; cp -f ~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"