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>
Sat, 19 Sep 2020 12:17:19 +0000 (13:17 +0100)
commitd43597024aab509ec7775a4c4a713ed28cd1bcfa
treed82da0279b3bc2cb9e6f6007e50e116a0a83905d
parentc768bacd6e801cfc260ae0f80ddb8a791ea2c1db
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