==== Publishing ====
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
==== Documentation hosting setup ====
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.