# HG changeset patch
# User wenzelm
# Date 909315207 -3600
# Node ID 6a422b22ba02f6275fa3ac5f9df1428705552d50
# Parent  b00769ecda3684ac922644dd7d3d52dedcc1328f
tuned checklist;

diff -r b00769ecda36 -r 6a422b22ba02 Admin/makedist
--- a/Admin/makedist	Sat Oct 24 21:25:43 1998 +0200
+++ b/Admin/makedist	Sun Oct 25 12:33:27 1998 +0100
@@ -32,8 +32,7 @@
   Checklist for official releases (before running this script):
 
     * Check that README files are up to date (should have Id: lines).
-    * Check that Pure/ROOT.ML/version is up to date!
-    * Check release name and date in NEWS!
+    * Check Admin/index.html.
     * Make sure that encoding info is consistent (fixencoding)!
     * Make sure that the repository version of Doc is consistent
       (watch out for *.bbl, *.rao, *.ind)!