diff --git a/dodoc.sh b/dodoc.sh index 8202a6047b..a2f87e8c1e 100755 --- a/dodoc.sh +++ b/dodoc.sh @@ -36,6 +36,7 @@ test "$DOCREPO" != "" && cd "$DOCREPO" || exit $? git pull "$MASTERREPO" master && +git fetch --tags "$MASTERREPO" || exit $? test $(git-rev-parse --verify refs/heads/master) == "$ID" && NID=$(git-describe --abbrev=4 "$ID") && test '' != "$NID" || exit $?