equal
deleted
inserted
replaced
5 # makedist -- make Isabelle distribution. |
5 # makedist -- make Isabelle distribution. |
6 |
6 |
7 |
7 |
8 ## global settings |
8 ## global settings |
9 |
9 |
10 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF LK Modal Provers Pure Sequents TFL Tools ZF" |
10 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL Tools ZF" |
11 DOCS="Intro Ref Logics" |
11 DOCS="Intro Ref Logics" |
12 |
12 |
13 CVSROOT=/isabelle/archive |
13 CVSROOT=/isabelle/archive |
14 DISTBASE=~/tmp/isadist |
14 DISTBASE=~/tmp/isadist |
15 |
15 |
116 cd $DISTBASE/$DISTNAME |
116 cd $DISTBASE/$DISTNAME |
117 |
117 |
118 find . -name CVS -exec rm -rf {} \; |
118 find . -name CVS -exec rm -rf {} \; |
119 |
119 |
120 find Doc -name \*.dvi -exec mv {} Distribution/doc \; |
120 find Doc -name \*.dvi -exec mv {} Distribution/doc \; |
121 rm -rf Admin Doc examples index.html |
121 rm -rf Admin Doc examples Modal LK HOLCF/explicit_domains |
122 |
122 |
123 mkdir src |
123 mkdir src |
124 mv $LOGICS src |
124 mv $LOGICS src |
|
125 mv index.html src |
125 |
126 |
126 mv Distribution/* . |
127 mv Distribution/* . |
127 rmdir Distribution |
128 rmdir Distribution |
128 |
129 |
129 if [ -n "$UNOFFICIAL" ]; then |
130 if [ -n "$UNOFFICIAL" ]; then |