# HG changeset patch # User wenzelm # Date 858853799 -3600 # Node ID ec170ea5243ec8997503dcce9d78c851253023d6 # Parent 1262592be57969522ee32cb93cdde92a2f92e2d0 tuned; diff -r 1262592be579 -r ec170ea5243e src/Tools/install_html.sh --- a/src/Tools/install_html.sh Thu Mar 20 11:24:05 1997 +0100 +++ b/src/Tools/install_html.sh Thu Mar 20 11:29:59 1997 +0100 @@ -1,5 +1,5 @@ #!/bin/csh -# Executed from the main Isabelle directory, this script transfers all +# Executed from the Isabelle src directory, this script transfers all # files needed for the HTML version of Isabelle's theories to the HTTP # server. # If you don't want to copy all the logics, you can supply the names of @@ -11,7 +11,7 @@ endif rcp index.html www4:.html-data/isabelle -rcp ../Tools/*.gif www4:.html-data/isabelle/Tools +rcp Tools/*.gif www4:.html-data/isabelle/Tools if ( "$*" == "" ) then rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF Sequents ZF \ @@ -19,4 +19,4 @@ else rcp -r $* www4:.html-data/isabelle endif -rsh www4 "chgrp -R isabelle .html-data/isabelle/*; chmod -R g+w .html-data/isabelle/*" +rsh www4 "chgrp -R isabelle .html-data/isabelle/*; chmod -R g+w .html-data/isabelle/*"