publish_release.yml should also update documentation website #4801
Description
Run a script on the web server that takes the documentation archive just uploaded, extracts it in the documentation directory and adjusts the current symlink.
{{ message }}