When auto-generating the website using grunt in the openlayers.github.io repo, we do not need to publish new docs every time grunt is run, just because the timestamp is updated.
6440ce5ea0