# HG changeset patch
# User wenzelm
# Date 1335986115 -7200
# Node ID c0ebc550e5def05daa2d949866376ba047ca208e
# Parent  57d1df2f2a0fde1895dedd3458eae4f7bc908575
more CHECKLIST;

diff -r 57d1df2f2a0f -r c0ebc550e5de Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed May 02 20:43:57 2012 +0200
+++ b/Admin/CHECKLIST	Wed May 02 21:15:15 2012 +0200
@@ -26,6 +26,7 @@
 - update https://isabelle.in.tum.de/repos/website;
 
 - maintain Docs:
+    doc-src: make all
     doc-src/Dirs
     doc/Contents