doc: Disable extension incompatible with Sphinx 3
authorBen Hutchings <benh@debian.org>
Sat, 22 Aug 2020 02:13:44 +0000 (03:13 +0100)
committerSalvatore Bonaccorso <carnil@debian.org>
Thu, 19 Nov 2020 07:19:18 +0000 (07:19 +0000)
commit18b460a98df1df0cb282dc7d86235fdf62be0b2f
tree2a9b07f0202ec412063cf4a96a4a47d83c384114
parent60aaebecc282c43eae07ad4fe120b32b4d97313d
doc: Disable extension incompatible with Sphinx 3

The cdomain extension needs major changes to work with Sphinx 3.
For now, disable it.

Gbp-Pq: Topic debian
Gbp-Pq: Name doc-disable-extension-incompatible-with-sphinx-3.patch
Documentation/conf.py