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, 17 Oct 2020 13:14:43 +0000 (14:14 +0100)
commit54c96c1564e5ccdfb64842d788c3e7c0ec9c8a4d
treed1c5de87bae4ecb2a1dcab8ec8efd4862a8fa56d
parent8792df674d2ea8f881b74f8ee91502d8f07eea59
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