| changeset 34037 | 6782e3a9169f |
| parent 33950 | 0a77b979e593 |
| child 37217 | b2769ba027b0 |
| 34036:8ab37779a8e6 | 34037:6782e3a9169f |
|---|---|
145 rm -rf doc-src |
145 rm -rf doc-src |
146 |
146 |
147 mkdir -p contrib |
147 mkdir -p contrib |
148 |
148 |
149 cp doc/isabelle*.eps lib/logo |
149 cp doc/isabelle*.eps lib/logo |
150 |
|
151 rm Isabelle Isabelle.exe |
|
152 |
150 |
153 |
151 |
154 if [ -z "$RELEASE" ]; then |
152 if [ -z "$RELEASE" ]; then |
155 { |
153 { |
156 echo |
154 echo |