Don't publish the feed when Jenkins regenerates the documentation

2026-04-30 05:35:40 +08:00 · 2013-02-07 12:04:28 -05:00
parent 1add8f5410
commit 5f918a8f81
2 changed files with 5 additions and 4 deletions
--- a/Tests/cibuild
+++ b/Tests/cibuild
@@ -22,6 +22,6 @@ if [ -n $DOCS_DESTINATION ]; then
  VERSION=`echo $GIT_BRANCH|sed -e 's/origin\///'`
  if [ -n $VERSION ]; then
      echo "Building documentation for branch $VERSION and publishing to '$DOCS_DESTINATION'"
-      rake docs:publish[$VERSION,$DOCS_DESTINATION]
+      rake docs:publish[$VERSION,$DOCS_DESTINATION,false]
  fi
 fi