This needs fixing to ease contribution.
Otherwise, updating docs becomes a hassle [2].
[1] https://jenkins.softwareheritage.org/view/swh-draft/job/DDOC/job/dev/311/
[2] D6790
This needs fixing to ease contribution.
Otherwise, updating docs becomes a hassle [2].
[1] https://jenkins.softwareheritage.org/view/swh-draft/job/DDOC/job/dev/311/
[2] D6790