LOGONLY mark 0cc522 DOCed (was NODOC)

diff --git a/alog b/alog
index 9bfde67..138451b 100644 (file)
--- a/alog
+++ b/alog
@@ -1740,7 +1740,7 @@ Date:   Sat Oct 24 12:22:01 2009 +0100
     
     This restores the change of 9bde8eb087a2c05d4c8b0394a59d28a09fe5f529.
 
-commit 0cc522c3af5e9943da81cc0c962abc67d3df6925 # NODOC (verify)
+commit 0cc522c3af5e9943da81cc0c962abc67d3df6925 # DOCed
 Author: Nicholas Clark <nick@ccl4.org>
 Date:   Sat Oct 24 11:36:06 2009 +0100