Fix doc build in CI
Currently fails because the docker image does not contain make
.
Only makes sense to fix it if we can host the docs somewhere.
Currently fails because the docker image does not contain make
.
Only makes sense to fix it if we can host the docs somewhere.