author | paulson |
Thu, 21 Mar 1996 13:02:26 +0100 | |
changeset 1601 | 0ef6ea27ab15 |
parent 1469 | fb9ccf06dfe8 |
child 2179 | 018906568ef0 |
permissions | -rwxr-xr-x |
1310
3d773439d844
removed buggy FTP scripts and replaced them by a script for transfer
clasohm
parents:
diff
changeset
|
1 |
#!/bin/csh |
3d773439d844
removed buggy FTP scripts and replaced them by a script for transfer
clasohm
parents:
diff
changeset
|
2 |
# Executed from the main Isabelle directory, this script transfers all |
3d773439d844
removed buggy FTP scripts and replaced them by a script for transfer
clasohm
parents:
diff
changeset
|
3 |
# files needed for the HTML version of Isabelle's theories to the HTTP |
3d773439d844
removed buggy FTP scripts and replaced them by a script for transfer
clasohm
parents:
diff
changeset
|
4 |
# server. |
1315 | 5 |
# If you don't want to copy all the logics, you can supply the names of |
6 |
# the wanted ones as parameters as in "install_html.sh HOL HOLCF". |
|
1310
3d773439d844
removed buggy FTP scripts and replaced them by a script for transfer
clasohm
parents:
diff
changeset
|
7 |
|
1315 | 8 |
if ( "$*" == "" ) then |
1406 | 9 |
rsh www4 "rm -r .html-data/isabelle/*; mkdir .html-data/isabelle/Tools; \ |
1469 | 10 |
chmod og-w .html-data/isabelle/Tools" |
1315 | 11 |
endif |
12 |
||
1406 | 13 |
rcp index.html www4:.html-data/isabelle |
14 |
rcp Tools/*_arrow.gif www4:.html-data/isabelle/Tools |
|
1315 | 15 |
|
16 |
if ( "$*" == "" ) then |
|
17 |
rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF LK Modal ZF \ |
|
1406 | 18 |
www4:.html-data/isabelle |
1315 | 19 |
else |
1406 | 20 |
rcp -r $* www4:.html-data/isabelle |
1315 | 21 |
endif |
1469 | 22 |
rsh www4 "chgrp -R isabelle .html-data/isabelle/*; chmod -R g+w .html-data/isabelle/*" |