/[svn]/Makefile
ViewVC logotype

Diff of /Makefile

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

revision 259 by abate, Tue Jul 10 17:20:05 2007 UTC revision 260 by abate, Tue Jul 10 17:20:13 2007 UTC
# Line 160  Line 160 
160          ./cduce -quiet tests/web.cd          ./cduce -quiet tests/web.cd
161    
162    
163  WEB_FILES = web/site.xml web/index.xml web/memento.xml web/team.xml \  web/files: cduce.opt web/site.cd
             web/bench.xml web/examples.xml web/papers.xml  
 web/index.html: cduce.opt web/site.cd $(WEB_FILES)  
164          (cd web; ../cduce.opt -quiet site.cd)          (cd web; ../cduce.opt -quiet site.cd)
165    
166  # Site-specific installation  # Site-specific installation
# Line 174  Line 172 
172          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; cp ~beppe/IMPLEM/CDUCE/web/index.html /var/www/html"          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; cp ~beppe/IMPLEM/CDUCE/web/index.html /var/www/html"
173    
174  build_website:  build_website:
175          rsh cedre ". .env; cd IMPLEM/CDUCE; make web/index.html"          rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files"
176          scp web/*.html web/cduce.css cduce@iris:public_html/          scp web/*.html web/cduce.css cduce@iris:public_html/
Legend:
Removed from v.259  
changed lines
  Added in v.260
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5