Admin/CHECKLIST

--- a/Admin/CHECKLIST	Mon Jan 31 11:14:05 2011 +0100
+++ b/Admin/CHECKLIST	Mon Jan 31 11:15:02 2011 +0100
@@ -52,12 +52,12 @@
 Final release stage
 ===================
 
+- makedist: REPOS_NAME="isabelle-release"
+
 - hgrc: default = /home/isabelle-repository/repos/isabelle-release
 
   isatest@macbroy28:hg-isabelle/.hg/hgrc
   isatest@atbroy102:hg-isabelle/.hg/hgrc
 
-- makedist: REPOS_NAME="isabelle-release"
-
 - isatest@macbroy28:devel-page/content/index.content