Merge branch 'ignore-times-when-publishing' into 'master'

Ignore times when comparing files

See merge request !316

.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 -t -i --stats -e "ssh -l $SSH_USER -i ~/.ssh/id_rsa -p $SSH_PORT" _build/html/ "$RSYNC_TARGET"
+    - rsync -av -I -t -i --stats -e "ssh -l $SSH_USER -i ~/.ssh/id_rsa -p $SSH_PORT" _build/html/ "$RSYNC_TARGET"
   only:
     - master