equal
deleted
inserted
replaced
30 release to be exported from the repository, or "-" to checkout the |
30 release to be exported from the repository, or "-" to checkout the |
31 current sources as an unofficial release. |
31 current sources as an unofficial release. |
32 |
32 |
33 Checklist for official releases (before running this script): |
33 Checklist for official releases (before running this script): |
34 |
34 |
35 * Check that README files are up to date (should have \$Id$ lines). |
35 * Check that README files are up to date (should have Id: lines). |
36 * Check that Pure/ROOT.ML/version is up to date! |
36 * Check that Pure/ROOT.ML/version is up to date! |
37 * Make sure that the repository version of Doc is consistent |
37 * Make sure that the repository version of Doc is consistent |
38 (watch out for *.bbl, *.rao, *.ind)! |
38 (watch out for *.bbl, *.rao, *.ind)! |
39 EOF |
39 EOF |
40 #Wicked! We just won't tell other users ... |
40 #Wicked! We just won't tell other users ... |