Meta/dodoc.sh: make it easier to relocate the build areas

diff --git a/dodoc.sh b/dodoc.sh
index 69cc9026b44665abe1ca6636d9a5d8b957389b5f..487e306d9c0d2c10adf950277fb7d202984db5e7 100755 (executable)
--- 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') &&