HomeSoftware Heritage

sphinx: Fix reference to persistent-identifier

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

sphinx: Fix reference to persistent-identifier

This uses swh-docs/swh/docs/sphinx/conf.py:intersphinx_mapping config to resolve the
link.

Part of the broken build [1]

[1] https://jenkins.softwareheritage.org/job/DDOC/job/dev/6791/console

Related to T3648

Details

Provenance
ardumontAuthored on Oct 12 2021, 9:40 AM
ardumontPushed on Oct 12 2021, 9:44 AM
Build Status
Buildable 24377
Build 38045: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.