[r2002-11-25 19:07:42 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-25 19:07:42+00:00

Makefile

@@ -150,4 +150,5 @@ build_web:
 	rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface memento.html"
 install_web:
 	ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; cp ~frisch/IMPLEM/CDUCE/memento.html public_html/; chmod +s cgi-bin/cduce2"
-
+install_web_local:
+	ssh root@localhost "cp ~beppe/IMPLEM/CDUCE/webiface /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/memento.html /var/www/html/; chmod +s /var/www/cgi-bin/cduce"