To publish the documentation, run from OAR git:

$ make -C docs publish

If you don't want to publish using the the default DOC_TARGET (docmaster@oar.lig), set it as follows:

$ make -C docs DOC_TARGET=my_user@my_host publish

If you want to push to a specific version, set the DOC_VERSION:

$ make -C docs DOC_VERSION=2.5.4 publish

The documentation is hosted on oar.imag.fr, which is not reachable directly by ssh.

Publishing must be performed as the docmaster user. To do so, you ssh key must be pushed to the docmaster account.