# HG changeset patch
# User wenzelm
# Date 858857648 -3600
# Node ID c6b491e837cbee2f198eb24a85b6621c2ddbb4d9
# Parent  13136dc7b9d00d675615a78a1f78a67b3473193a
remove empty dirs;

diff -r 13136dc7b9d0 -r c6b491e837cb Admin/makedist
--- a/Admin/makedist	Thu Mar 20 11:39:40 1997 +0100
+++ b/Admin/makedist	Thu Mar 20 12:34:08 1997 +0100
@@ -7,7 +7,7 @@
 
 ## global settings
 
-LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF LK Modal Provers Pure Sequents TFL Tools ZF"
+LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL Tools ZF"
 DOCS="Intro Ref Logics"
 
 CVSROOT=/isabelle/archive
@@ -118,10 +118,11 @@
 find . -name CVS -exec rm -rf {} \;
 
 find Doc -name \*.dvi -exec mv {} Distribution/doc \;
-rm -rf Admin Doc examples index.html
+rm -rf Admin Doc examples Modal LK HOLCF/explicit_domains
 
 mkdir src
 mv $LOGICS src
+mv index.html src
 
 mv Distribution/* .
 rmdir Distribution