src/Tools/ftp_mkdirs.txt

scripts for transfer of HTML files to FTP server

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