From 8dd9a93e056ffbbd24540459f87bf1c6e32ec4ac Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 20 Apr 2012 23:33:57 -0700
Subject: [PATCH] Meta/dodoc.sh: make it easier to relocate the build areas

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

diff --git a/dodoc.sh b/dodoc.sh
index 69cc9026b4..487e306d9c 100755
--- a/dodoc.sh
+++ b/dodoc.sh
@@ -9,10 +9,11 @@
 
 unset GIT_DIR
 
-MASTERREPO=/srv/project/git/git.git/
-DOCREFHIER=refs/docs
-MANREPO=/srv/project/git/git-manpages.git/
-HTMLREPO=/srv/project/git/git-htmldocs.git/
+: ${TOP-/srv/project/git}
+
+MASTERREPO=$TOP/git.git/
+MANREPO=$TOP/git-manpages.git/
+HTMLREPO=$TOP/git-htmldocs.git/
 
 target_repo () {
 	TARGETVAR=$(echo "$1"REPO | tr 'a-z' 'A-Z') &&