Merge branch 'update-ci-docs' into 'master'

Update CI docs to be more robust

See merge request !310

.gitlab-ci.yml

@@ -38,6 +38,6 @@ publish:
     - touch ~/.ssh/id_rsa
     - chmod 0600 ~/.ssh/id_rsa
     - echo "$SSH_KEY" >> ~/.ssh/id_rsa
-    - rsync -av -i --stats -e "ssh -l $SSH_USER -p $SSH_PORT" --delete-after _build/html/ $RSYNC_TARGET
+    - rsync -av -i --stats -e "ssh -l $SSH_USER -i ~/.ssh/id_rsa -p $SSH_PORT" _build/html/ "$RSYNC_TARGET"
   only:
     - master