--- 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