Commit b2941bc7 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'skip-doc-upload-if-doc-upload-key-not-provided' into 'master' 

Skip doc upload if DOC_UPLOAD_KEY not provided.

See merge request !2
parents 495910d5 9a092aa4

build-docs.sh

+8 −4
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