| changeset 17680 | 5f6a9ed548c1 |
| parent 17676 | 6ebbe708640f |
| child 17681 | 442e7bec1d49 |
| 17679:c5f49e4856e3 | 17680:5f6a9ed548c1 |
|---|---|
1 For the release: |
1 For the release: |
2 - make build bed (~/isabelle/website_build) |
2 - make 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/") |