isabelle: src/Tools/install_html.sh@0c0e6298df13 (annotated)

1310 3d773439d844 removed buggy FTP scripts and replaced them by a script for transfer clasohm parents: diff changeset	1	#!/bin/csh
3d773439d844 removed buggy FTP scripts and replaced them by a script for transfer clasohm parents: diff changeset	2	# Executed from the main Isabelle directory, this script transfers all
3d773439d844 removed buggy FTP scripts and replaced them by a script for transfer clasohm parents: diff changeset	3	# files needed for the HTML version of Isabelle's theories to the HTTP
3d773439d844 removed buggy FTP scripts and replaced them by a script for transfer clasohm parents: diff changeset	4	# server.
3d773439d844 removed buggy FTP scripts and replaced them by a script for transfer clasohm parents: diff changeset	5
1312 0c0e6298df13 renamed logics.html to index.html; clasohm parents: 1310 diff changeset	6	rsh www4 "rm -r .html-data/isabelle/*; mkdir .html-data/isabelle/Tools"
0c0e6298df13 renamed logics.html to index.html; clasohm parents: 1310 diff changeset	7	rcp index.html www4:.html-data/isabelle
0c0e6298df13 renamed logics.html to index.html; clasohm parents: 1310 diff changeset	8	rcp Tools/*_arrow.gif www4:.html-data/isabelle/Tools
1310 3d773439d844 removed buggy FTP scripts and replaced them by a script for transfer clasohm parents: diff changeset	9	rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF LK Modal ZF www4:.html-data/isabelle