WIP: include uploading doc to yade-dem.org CI
If this works we can switch back to yade-dem.org for the html. Do we want to also keep gitlab-io pages as a fallback mirror?
Edited by bchareyre
If this works we can switch back to yade-dem.org for the html. Do we want to also keep gitlab-io pages as a fallback mirror?