projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8492c55) | patch
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, 10 Oct 2020 19:40:31 +0000 (20:40 +0100)
commitcadf25849387a9f2c5a370c05df40ca1fd4aa6bb
tree5d4255fd3662fa403c14e504c4736e310e9f0db8tree | snapshot
parent8492c55d4564ebb5462cdcc719337170ecf28dcdcommit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.