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, 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.

wiki/publication_of_the_documentation.txt · Last modified: 2016/02/16 08:29 by neyron
Recent changes RSS feed GNU Free Documentation License 1.3 Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki