--- a/src/Tools/install_html.sh Thu Oct 26 13:44:24 1995 +0100
+++ b/src/Tools/install_html.sh Thu Oct 26 13:53:00 1995 +0100
@@ -3,6 +3,7 @@
# files needed for the HTML version of Isabelle's theories to the HTTP
# server.
-rcp logics.html www4:.html-data/isabelle
-rcp Tools/*arrow.gif www4:.html-data/isabelle/Tools
+rsh www4 "rm -r .html-data/isabelle/*; mkdir .html-data/isabelle/Tools"
+rcp index.html www4:.html-data/isabelle
+rcp Tools/*_arrow.gif www4:.html-data/isabelle/Tools
rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF LK Modal ZF www4:.html-data/isabelle