Admin/makedist
changeset 3698 0b8986fd9bfc
parent 3638 2b67561c6488
child 4176 84a0bfbd74e5
equal deleted inserted replaced
3697:c5833dfcc2cc 3698:0b8986fd9bfc
   126 rm Distribution/doc/Isa-logics.eps
   126 rm Distribution/doc/Isa-logics.eps
   127 rm -rf Admin Doc
   127 rm -rf Admin Doc
   128 
   128 
   129 mkdir src
   129 mkdir src
   130 mv $LOGICS src
   130 mv $LOGICS src
   131 mv index.html src
       
   132 
   131 
   133 mv Distribution/* .
   132 mv Distribution/* .
   134 rmdir Distribution
   133 rmdir Distribution
   135 
   134 
   136 # build theory browser
   135 # build theory browser