Admin/CHECKLIST

--- a/Admin/CHECKLIST	Mon Jan 17 17:27:26 2011 +0100
+++ b/Admin/CHECKLIST	Mon Jan 17 18:10:46 2011 +0100
@@ -45,3 +45,15 @@
 - makebundle (multiplatform);
 
 - hdiutil create -srcfolder DIR DMG (Mac OS);
+
+
+Final release stage
+===================
+
+- 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"
+