[r2003-03-25 09:51:38 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-25 09:51:38+00:00

Makefile

@@ -167,7 +167,7 @@ web/files: cduce.opt web/site.cd
 build_web:
 	rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface.opt"
 install_web:
-	ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface.opt cgi-bin/cduce2; cp ~frisch/IMPLEM/CDUCE/memento.html public_html/; chmod +s cgi-bin/cduce2"
+	ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface.opt cgi-bin/cduce2; chmod +s cgi-bin/cduce2"
 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;"