# HG changeset patch
# User clasohm
# Date 814792862 -3600
# Node ID 1b731d0b5ad3347d351e791f3173f7c403418e55
# Parent  e9a3287e7387ac184af7a89d0ca92fcd2cd27883
added optional parameters

diff -r e9a3287e7387 -r 1b731d0b5ad3 src/Tools/install_html.sh
--- a/src/Tools/install_html.sh	Thu Oct 26 14:02:33 1995 +0100
+++ b/src/Tools/install_html.sh	Fri Oct 27 12:21:02 1995 +0100
@@ -2,8 +2,19 @@
 # Executed from the main Isabelle 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
+# the wanted ones as parameters as in "install_html.sh HOL HOLCF".
 
-rsh www4 "rm -r .html-data/isabelle/*; mkdir .html-data/isabelle/Tools"
+if ( "$*" == "" ) then
+  rsh www4 "rm -r .html-data/isabelle/*; mkdir .html-data/isabelle/Tools"
+endif
+
 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
+
+if ( "$*" == "" ) then
+  rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF LK Modal ZF \
+         www4:.html-data/isabelle
+else
+  rcp -r $* www4:.html-data/isabelle
+endif