| commit | 12b0c569250e91442dc32bfb87f95002e071df26 | [log] [tgz] |
|---|---|---|
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | Tue Oct 06 17:56:59 2020 +0200 |
| committer | Tom Rini <trini@konsulko.com> | Wed Oct 14 11:16:34 2020 -0400 |
| tree | a5c3fe0db688a28be279cac93174389863747d23 | |
| parent | 7c7b3c95c3e4e01c6304928af9aa575d82922266 [diff] |
doc: Sphinx.override_domain() deprecated Sphinx.override_domain() is deprecated since Sphinx 1.8 and removed in Sphinx 3. Use Sphinx.add_domain(, override=True) instead. Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>