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>
Sun, 8 Nov 2020 12:40:04 +0000 (12:40 +0000)
commitc45cd4f3157c2d8434c7f0ee3ce0a0ba8f06ef1b
treef36eefb6c790fd23d3a0bfd3212a6fae371d664f
parent6bbc3dbbdac7f1dc016883ddb462857165918925
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