diff -r e24bfa4e3b84 -r 88ff12baccba Admin/Release/CHECKLIST
--- 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