Page MenuHomeSoftware Heritage

Remove the unused dependency on sphinx-tabs
ClosedPublic

Authored by lunar on Nov 29 2022, 9:24 AM.

Details

Summary

sphinx-tabs defines tabs and tab directives which are currently unused.
sphinx-design provides tabs with the equivalent tab-set and tab-item. No
need to keep both dependencies.

Thanks to douardda for noticing.

Diff Detail

Repository
rDDOC Development documentation
Branch
migrate-to-sphinx-design
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 33000
Build 51720: Phabricator diff pipeline on Jenkins for swh-docsJenkins console · Jenkins
Build 51719: arc lint + arc unit

Event Timeline

Build is green

Patch application report for D8895 (id=32054)

Rebasing onto efc9557593...

Current branch diff-target is up to date.
Changes applied before test
commit a805f6abc5b57193cca7b008d212f091751f21fb
Author: Jérémy Bobbio (Lunar) <lunar@softwareheritage.org>
Date:   Tue Nov 29 09:20:27 2022 +0100

    Remove the unused dependency on sphinx-tabs
    
    Thanks to douardda for noticing.

See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/277/ for more details.

lunar requested review of this revision.Nov 29 2022, 9:30 AM
This revision is now accepted and ready to land.Nov 29 2022, 10:11 AM