| 159 |
driver/examples.ml: cduce tests/web.cd tests/examples.xml |
driver/examples.ml: cduce tests/web.cd tests/examples.xml |
| 160 |
./cduce -quiet tests/web.cd |
./cduce -quiet tests/web.cd |
| 161 |
|
|
| 162 |
web/index.html: cduce web/site.cd web/site.xml |
|
| 163 |
(cd web; ../cduce -quiet site.cd) |
WEB_FILES = web/site.xml web/index.xml web/memento.xml web/team.xml |
| 164 |
|
web/index.html: cduce.opt web/site.cd $(WEB_FILES) |
| 165 |
|
(cd web; ../cduce.opt -quiet site.cd) |
| 166 |
|
|
| 167 |
# Site-specific installation |
# Site-specific installation |
| 168 |
build_web: |
build_web: |
| 174 |
|
|
| 175 |
build_website: |
build_website: |
| 176 |
rsh cedre ". .env; cd IMPLEM/CDUCE; make web/index.html" |
rsh cedre ". .env; cd IMPLEM/CDUCE; make web/index.html" |
| 177 |
scp web/index.html web/cduce.css cduce@iris:public_html/ |
scp web/*.html web/cduce.css cduce@iris:public_html/ |
|
|
|
|
|
|
Parent Directory
| 
Revision Log
| 
Patch