projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 685296e) | 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>
Thu, 17 Dec 2020 05:31:52 +0000 (05:31 +0000)
commit82dfdcf4743e2b719f601a32938bb854ce8ad203
tree3f027ec590562e2129ae3be3ba1f48f0475fc75etree | snapshot
parent685296e9f95bb8d9bbb2a98353c47500140fa64acommit | 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.