equal
deleted
inserted
replaced
33 |
33 |
34 Usage: $PRG VERSION [NAME] |
34 Usage: $PRG VERSION [NAME] |
35 |
35 |
36 Make Isabelle distribution from the master sources at TUM. |
36 Make Isabelle distribution from the master sources at TUM. |
37 |
37 |
38 VERSION may be either a tag like "Isabelle2003" that specifies the |
38 VERSION may be either a tag like "IsabelleXXXX" that specifies the |
39 release to be exported from the repository, or "-" to checkout the |
39 release to be exported from the repository, or "-" to checkout the |
40 current sources as an unofficial release. |
40 current sources as an unofficial release. |
41 |
41 |
42 NAME specifies an explicit distribution name, by default it is |
42 NAME specifies an explicit distribution name, by default it is |
43 derived from VERSION. |
43 derived from VERSION. |
46 |
46 |
47 * Check Admin/website contents. |
47 * Check Admin/website contents. |
48 * Check ANNOUNCE, README.html, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS. |
48 * Check ANNOUNCE, README.html, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS. |
49 * Try "isatool makeall all" with Poly/ML, SML/NJ, etc. |
49 * Try "isatool makeall all" with Poly/ML, SML/NJ, etc. |
50 * Tag the current repository version, e.g.: |
50 * Tag the current repository version, e.g.: |
51 cvs -d /usr/proj/isabelle-repository/archive rtag Isabelle2003 isabelle |
51 cvs -d /usr/proj/isabelle-repository/archive rtag IsabelleXXXX isabelle |
52 PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING! |
52 PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING! |
53 |
53 |
54 EOF |
54 EOF |
55 exit 1 |
55 exit 1 |
56 } |
56 } |