diff -r be8b5001bc39 -r 66fcb7e9baef Admin/CHECKLIST
--- a/Admin/CHECKLIST	Thu Jul 17 16:56:50 2008 +0200
+++ b/Admin/CHECKLIST	Thu Jul 17 17:01:54 2008 +0200
@@ -16,9 +16,8 @@
 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
 
 - maintain Docs:
-    Doc/Contents
+    Doc/Dirs
     Distribution/doc/Contents
-    Admin/index.html (? FIXME ?)
 
 - maintain Logics:
     Admin/makedist