X-Git-Url: https://git.octo.it/?a=blobdiff_plain;f=dodoc.sh;h=15926f361d67c5f8861d7168926e4f3b1eb41873;hb=a32d80295581365b318e88fc657e25c9acb75bd1;hp=8202a6047b2ea9dd5db542a03e4a44b5a8082b46;hpb=afd46b3e89c320a5b0acda8c618f25ca9b8a63cc;p=git.git

diff --git a/dodoc.sh b/dodoc.sh
index 8202a604..15926f36 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 $?
@@ -77,7 +78,7 @@ else
 fi || exit $?
 
 cd ../doc-htmlpages &&
-    git add . &&
+    (git add . || echo no new files -- not a big deal) &&
     if git commit -a -m "Autogenerated HTML docs for $NID"
     then
 	git-send-pack "$MASTERREPO" master:refs/heads/html || {
@@ -93,7 +94,7 @@ make man1="$DOCREPO/doc-manpages/man1" man7="$DOCREPO/doc-manpages/man7" \
 	install >../:man.log 2>&1 &&
 
 cd ../doc-manpages &&
-    git add . &&
+    (git add . || echo no new files -- not a big deal) &&
     if git commit -a -m "Autogenerated man pages for $NID"
     then
 	git-send-pack "$MASTERREPO" master:refs/heads/man || {