To publish the documentation, run from OAR git:

$ make -C doc publish

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

$ make -C doc DOC_TARGET=my_user@my_host publish

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

$ make -C doc 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.