Admin/CHECKLIST
changeset 25236 54b390300227
parent 25214 91730b492a45
child 25428 95c0b4dc600b
--- a/Admin/CHECKLIST	Tue Oct 30 10:51:35 2007 +0100
+++ b/Admin/CHECKLIST	Tue Oct 30 12:14:22 2007 +0100
@@ -10,7 +10,7 @@
 - maintain Docs:
     Doc/Contents
     Distribution/doc/Contents
-    Admin/index.html
+    Admin/index.html (? FIXME ?)
 
 - maintain Logics:
     Admin/makedist
@@ -22,8 +22,5 @@
 
 - after release: 
     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
 
 $Id$