# HG changeset patch
# User wenzelm
# Date 1216307453 -7200
# Node ID 47ceef8aa1e49e6624c9b093697888a10eb6a8dd
# Parent  50e5e7b4e6f847fd28a43eaac7db19b689dba75c
removed old checklist;

diff -r 50e5e7b4e6f8 -r 47ceef8aa1e4 Admin/makedist
--- a/Admin/makedist	Thu Jul 17 17:03:48 2008 +0200
+++ b/Admin/makedist	Thu Jul 17 17:10:53 2008 +0200
@@ -37,20 +37,6 @@
 
   NAME specifies an explicit distribution name, by default it is
   derived from VERSION.
-
-  Checklist for official releases (before running this script):
-
-    * Check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS.
-    * Try "isatool makeall all" with Poly/ML, SML/NJ, etc.
-    * Tag the current repository version, e.g.:
-        cvs -d /home/isabelle-repository/archive rtag IsabelleXXXX isabelle
-      PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING!
-
-   After running this script:
-
-    * Symlink generated files in website/ directory to their appropriate
-      places in the isabelle website sources.
-
 EOF
   exit 1
 }