Follow the master branch tag.

Forgot that no tracking "git pull" does not fetch the tags anymore.
19 years ago · cd3b0b635a
1 changed files with 1 additions and 0 deletions
--- a/dodoc.sh
+++ b/dodoc.sh
@ -36,6 +36,7 @@ test "$DOCREPO" != "" &&
				@@ -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 $?