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

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

parent dd55deed
No related branches found
No related tags found
No related merge requests found
...@@ -726,7 +726,7 @@ def docs(ctx, requirement, dry_run): ...@@ -726,7 +726,7 @@ def docs(ctx, requirement, dry_run):
# extra requirements for sphinx # extra requirements for sphinx
group = os.environ['CI_PROJECT_NAMESPACE'] group = os.environ['CI_PROJECT_NAMESPACE']
extra_intersphinx = set([k.strip() for k in extra_intersphinx \ 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))) data = '\n'.join(uniq(sorted(extra_intersphinx)))
logger.info('Contents of "doc/extra-intersphinx.txt":\n%s', data) logger.info('Contents of "doc/extra-intersphinx.txt":\n%s', data)
with open(os.path.join(doc_path, 'extra-intersphinx.txt'), 'w') as f: 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