equal
deleted
inserted
replaced
35 release to be exported from the repository, or "-" to checkout the |
35 release to be exported from the repository, or "-" to checkout the |
36 current sources as an unofficial release. |
36 current sources as an unofficial release. |
37 |
37 |
38 NAME specifies an explicit distribution name, by default it is |
38 NAME specifies an explicit distribution name, by default it is |
39 derived from VERSION. |
39 derived from VERSION. |
40 |
|
41 Checklist for official releases (before running this script): |
|
42 |
|
43 * Check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS. |
|
44 * Try "isatool makeall all" with Poly/ML, SML/NJ, etc. |
|
45 * Tag the current repository version, e.g.: |
|
46 cvs -d /home/isabelle-repository/archive rtag IsabelleXXXX isabelle |
|
47 PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING! |
|
48 |
|
49 After running this script: |
|
50 |
|
51 * Symlink generated files in website/ directory to their appropriate |
|
52 places in the isabelle website sources. |
|
53 |
|
54 EOF |
40 EOF |
55 exit 1 |
41 exit 1 |
56 } |
42 } |
57 |
43 |
58 function fail() |
44 function fail() |