# HG changeset patch
# User wenzelm
# Date 910610861 -3600
# Node ID 02f4ff005a7814bfd37ce2722ddfefb32475ccbe
# Parent  6f3cb53502fa2f0260ae4914632a0d49d7288ce1
Check release name and date in NEWS!

diff -r 6f3cb53502fa -r 02f4ff005a78 Admin/makedist
--- 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)!