# HG changeset patch
# User clasohm
# Date 814704445 -3600
# Node ID 890303a7bbc87a6ec121b2edb16ccec6eb6e36bd
# Parent  396ef8aa37b74b0f37ef7e9b02ca30215888db75
scripts for transfer of HTML files to FTP server

diff -r 396ef8aa37b7 -r 890303a7bbc8 src/Tools/ftp_html.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/ftp_html.sh	Thu Oct 26 11:47:25 1995 +0100
@@ -0,0 +1,31 @@
+#!/bin/csh
+# Executed from the main Isabelle directory, this script transfers all
+# files needed for the HTML version of Isabelle's theories to the FTP
+# server. It deletes old files and makes directories by executing the
+# commands stored in ftp_mkdirs.txt.
+#
+# Provide password as first argument or enter it manually at the prompt.
+
+echo >ftp_commands.tmp
+foreach f (*/*.thy */*/*.thy */*/*/*.thy)
+  if ( -f $f:r.html ) then
+    echo put $f:r.html >>ftp_commands.tmp
+    echo put $f:r_sub.html >>ftp_commands.tmp
+    echo put $f:r_sup.html >>ftp_commands.tmp
+    if ( -f $f:r.ML ) then
+      echo put $f:r.ML >>ftp_commands.tmp
+    endif
+  endif
+end
+
+( \
+ echo user nipkow $1; \
+ echo cd isabelle; \
+ echo bin; \
+ echo "mput logics.html Tools/*_arrow.gif */00-chart.html;" \
+ echo "mdel */*.ML */*.html */*/*.ML */*/*.html */*/*/*.ML */*/*/*.html"; \
+ cat Tools/ftp_mkdirs.txt \
+ cat ftp_commands.tmp \
+) | ftp -inv ftp.informatik.tu-muenchen.de
+
+rm ftp_commands.tmp
diff -r 396ef8aa37b7 -r 890303a7bbc8 src/Tools/ftp_mkdirs.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/ftp_mkdirs.txt	Thu Oct 26 11:47:25 1995 +0100
@@ -0,0 +1,38 @@
+mkdir CCL
+mkdir CCL/ex
+mkdir CTT
+mkdir CTT/ex
+mkdir Cube
+mkdir FOL
+mkdir FOL/ex
+mkdir FOLP
+mkdir FOLP/ex
+mkdir HOL
+mkdir HOL/AxClasses
+mkdir HOL/AxClasses/Group
+mkdir HOL/AxClasses/Tutorial
+mkdir HOL/IMP
+mkdir HOL/IOA
+mkdir HOL/IOA/ABP
+mkdir HOL/IOA/NTP
+mkdir HOL/IOA/meta_theory
+mkdir HOL/Integ
+mkdir HOL/Lambda
+mkdir HOL/Subst
+mkdir HOL/ex
+mkdir HOLCF
+mkdir HOLCF/ax_ops
+mkdir HOLCF/domain
+mkdir HOLCF/ex
+mkdir HOLCF/explicit_domains
+mkdir LCF
+mkdir LK
+mkdir LK/ex
+mkdir Modal
+mkdir Modal/ex
+mkdir ZF
+mkdir ZF/AC
+mkdir ZF/Coind
+mkdir ZF/IMP
+mkdir ZF/Resid
+mkdir ZF/ex