| changeset 17681 | 442e7bec1d49 |
| parent 17680 | 5f6a9ed548c1 |
| child 17682 | fe395990d526 |
| 17680:5f6a9ed548c1 | 17681:442e7bec1d49 |
|---|---|
1 For the release: |
1 For the release: |
2 - make build bed () |
2 - announce build bed |
3 - abandon old scripts: mirror-*, rsyncisabelle |
3 - abandon old scripts: mirror-*, rsyncisabelle |
4 - abandon old cache |
4 - abandon old cache |
5 - cleanup old dist |
5 - cleanup old dist |
6 - redirect link -> proper sublinks |
6 - redirect link -> proper sublinks |
7 - cleanup website mess (new dir "projects/") |
7 - cleanup website mess (new dir "projects/") |