Bob Documentation in intersphinx catalog

Auto-intershpinx doesn't seem to find itself the correct meta-data for bob packages if they are not included as a dependency in the pyproject.toml, so the links of those packages' documentation are put in the catalog.

requested review from @ydayer

assigned to @amayoraz

Do you understand why that is not the case on bob/auto-intersphinx>? If so, please open an issue there (may be a better solution than hack it here?)

auto-intersphinx won't find the bob.bio.face doc link as:

• we do not depend on bob.bio.face (we just link to it in the doc) so it is not in the environment,
• bob.bio.face is not in the "builtin catalog" of auto-intersphinx,
• we did not release bob.bio.face on pypi (where I understand auto-intersphinx is looking), only in beta in our local registry.

We could change auto-intersphinx to also look for packages in our local registry, but we would need to add some bob relation to it. Or find a way to give an additional index to look into with the pipeline (with dev-profile).

Or we could depend on bob.bio.face optionally (using the [doc] dependencies) but this would make a circular dependency.

Ah, since auto-intersphinx is a sphinx extension, we could specify the additional index to look up (in addition to pypi) in a variable in the doc/conf.py file.

@andre.anjos Do you know any way to get a package's metadata from the registry of GitLab?

changed title from Bob Documentation in intersphinx cataslog to Bob Documentation in intersphinx catalog

I'll merge this, we'll remove catalogs in packages once we can do it differently.

merged

mentioned in commit 085444b9