diff -r f9ced25685e0 -r 1cd45207dd3f Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed Oct 24 20:17:48 2007 +0200
+++ b/Admin/CHECKLIST	Wed Oct 24 20:17:48 2007 +0200
@@ -3,7 +3,7 @@
 
 - Admin/update-keywords;
 
-- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
+- check ANNOUNCE, README.html, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
 
 - run tests with all supported ML systems;