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 $?
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 || {
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 || {