# 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/*"