Skip to content

Allow for multiple documentation server locations

André Anjos requested to merge bash_array_docserver into master

Allows optimisation of nightly builds to depend less on access to the documentation of packages that were just built.

Merge request reports