Remove the unused dependency on sphinx-tabs

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.

---

Migrated from D8895 (view on Phabricator)

Build is green

Patch application report for D8895 (id=32054)

Rebasing onto efc95575...

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.

Merge request was accepted

approved this merge request

Merge request was merged

closed