diff --git a/dodoc.sh b/dodoc.sh
index 826b039fdf..babafb27af 100755
--- a/dodoc.sh
+++ b/dodoc.sh
@@ -141,3 +141,7 @@ else
 	echo "* No public html at $PUBLIC"
 fi || exit $?
 
+echo '
+
+*** ALL DONE ***
+' >>./:html.log