# HG changeset patch
# User wenzelm
# Date 1295284246 -3600
# Node ID 46d65140c5de324f9b313650e9446d6c940dab78
# Parent  16e290c668eabfbe01a5aaefaca6303e3c410c86
some notes on final release stage;

diff -r 16e290c668ea -r 46d65140c5de 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"
+