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

gitster · gitster · commit fef78376bbf1 · 2007-11-24T20:52:05.000-08:00
diff --git a/dodoc.sh b/dodoc.sh
@@ -141,3 +141,7 @@ else
 	echo "* No public html at $PUBLIC"
 fi || exit $?
 
+echo '
+
+*** ALL DONE ***
+' >>./:html.log
