/[svn]/Makefile
ViewVC logotype

Diff of /Makefile

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 362 by abate, Tue Jul 10 17:27:21 2007 UTC revision 363 by abate, Tue Jul 10 17:28:11 2007 UTC
# Line 176  Line 176 
176  install_web:  install_web:
177          ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface.opt cgi-bin/cduce; chmod +s cgi-bin/cduce"          ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface.opt cgi-bin/cduce; chmod +s cgi-bin/cduce"
178  install_web_local:  install_web_local:
179          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;"
180    
181  build_website:  build_website:
182          rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files"          rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files"

Legend:
Removed from v.362  
changed lines
  Added in v.363

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5