Skip to content
Snippets Groups Projects
Commit d763be1b authored by Amir MOHAMMADI's avatar Amir MOHAMMADI
Browse files

Merge branch 'docs' into 'master'

[ci docs] Account for gridtk which has a non-standard name

See merge request !63
parents dd55deed e60de3c5
Branches
Tags
1 merge request!63[ci docs] Account for gridtk which has a non-standard name
Pipeline #30822 passed
......@@ -726,7 +726,7 @@ def docs(ctx, requirement, dry_run):
# extra requirements for sphinx
group = os.environ['CI_PROJECT_NAMESPACE']
extra_intersphinx = set([k.strip() for k in extra_intersphinx \
if not k.strip().startswith(group)])
if not k.strip().startswith((group, "gridtk"))])
data = '\n'.join(uniq(sorted(extra_intersphinx)))
logger.info('Contents of "doc/extra-intersphinx.txt":\n%s', data)
with open(os.path.join(doc_path, 'extra-intersphinx.txt'), 'w') as f:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment