diff -r 48a1e80f5cdb -r 91730b492a45 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Sat Oct 27 12:48:24 2007 +0200
+++ b/Admin/CHECKLIST	Sat Oct 27 12:48:44 2007 +0200
@@ -3,7 +3,7 @@
 
 - Admin/update-keywords;
 
-- check ANNOUNCE, README.html, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
+- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
 
 - run tests with all supported ML systems;
 
@@ -21,7 +21,7 @@
     Doc/Logics/logics.tex
 
 - after release: 
-    commit new ~isabelle/website/include/documentationdist.include.html to CVS
+    commit new ~isabelle/website/include/documentationdist.include.html to website SVN
     !!! commit new Admin/website/conf/distname.mak to CVS
     !!! this is currently not part of CVS, so ignore this description;
     !!! perhaps we will need to add it