Skip to content

Commit

Permalink
Include documentation for custom_rosdep_urls in build files
Browse files Browse the repository at this point in the history
Signed-off-by: Jose Luis Rivero <[email protected]>
  • Loading branch information
j-rivero committed Jun 6, 2024
1 parent 0e136fa commit 371553d
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions doc/configuration_options.rst
Original file line number Diff line number Diff line change
Expand Up @@ -597,3 +597,15 @@ The following options are valid in version ``1`` (beside the generic options):
to, if desired.
By default, the resulting archives are only available to other jobs within
Jenkins.

The following options are valid as keys in the ``_config`` dict under
``targets``:

* ``custom_rosdep_urls``: a list of URLs containing rosdep sources.list.d entry
files that are downloaded into /etc/ros/rosdep/sources.list.d at the beginning
of the doc job after running *rosdep init*.
Note that *rosdep init* will add the 20-default.list file from the public
rosdistro by default.
To override this, add an entry to this list corresponding to the
20-default.list file from your forked rosdistro repository.

0 comments on commit 371553d

Please sign in to comment.