Skip doc upload if DOC_UPLOAD_KEY not provided.

Merge request reports

Loading
+4 −0
Changes for build-docs.sh: 4 added lines, 0 removed lines.
Original line number Diff line number Diff line
@@ -67,7 +67,11 @@ END

make html

if test -n "${DOC_UPLOAD_KEY}"; then
  echo "${DOC_UPLOAD_KEY}" > doc_upload_key
  chmod 0600 doc_upload_key
  RSYNC_RSH="ssh -F doc_upload_ssh_config" ./upload-docs.sh || { rm doc_upload_key; exit 1; }
  rm doc_upload_key
else
  echo "Skipping upload. DOC_UPLOAD_KEY was not provided."
fi
Loading