author | wenzelm |
Mon, 09 Nov 1998 12:27:41 +0100 | |
changeset 5817 | 02f4ff005a78 |
parent 5816 | 6f3cb53502fa |
child 5818 | 962bfe78a297 |
Admin/makedist | file | annotate | diff | comparison | revisions |
--- a/Admin/makedist Mon Nov 09 11:25:24 1998 +0100 +++ b/Admin/makedist Mon Nov 09 12:27:41 1998 +0100 @@ -31,6 +31,7 @@ Checklist for official releases (before running this script): + * Check release name and date in NEWS! * Check that README files are up to date (should have Id: lines). * Check Admin/index.html. * Make sure that encoding info is consistent (fixencoding)!