diff -r 0e5ec6d2c1d9 -r 59a422908e29 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Thu Apr 02 14:09:41 2009 +0200
+++ b/Admin/CHECKLIST	Thu Apr 02 14:30:16 2009 +0200
@@ -20,12 +20,9 @@
     doc/Contents
 
 - maintain Logics:
-    Admin/makedist
     build
     lib/Tools/makeall
-    lib/html/index.html
-    doc-src/Logics/intro.tex
-    doc-src/Logics/logics.tex
+    lib/html/library_index_content.template
 
 - after release: 
     commit new ~isabelle/website/include/documentationdist.include.html to website SVN