dodoc: mark the end to make "tail -f" easier to read

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