--- a/Admin/Release/CHECKLIST Mon Jul 30 16:03:25 2012 +0200
+++ b/Admin/Release/CHECKLIST Mon Jul 30 16:40:21 2012 +0200
@@ -26,7 +26,6 @@
- update https://isabelle.in.tum.de/repos/website;
- maintain Docs:
- doc-src: make all
doc-src/Dirs
doc/Contents