--- a/src/Tools/ftp_mkdirs.txt Thu Oct 26 11:47:25 1995 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,38 +0,0 @@
-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