From fef78376bbf126507184f3e2b0d1ff51b8eebfd9 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 24 Nov 2007 20:52:05 -0800
Subject: [PATCH] dodoc: mark the end to make "tail -f" easier to read

---
 dodoc.sh | 4 ++++
 1 file changed, 4 insertions(+)

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
-- 
2.11.4.GIT