Admin/makedist
changeset 2829 c6b491e837cb
parent 2794 2d259a41cd77
child 2970 4ed0b27e482d
--- 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