Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed logics.html to index.html;
authorclasohm
Thu, 26 Oct 1995 13:53:00 +0100
changeset 1312 0c0e6298df13
parent 1311 3c2ca9c1da9c
child 1313 9fb65f3db319
renamed logics.html to index.html; added command for cleaning the directory before transfering newer version
src/Tools/install_html.sh file | annotate | diff | comparison | revisions 
--- 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
isabelle