| commit | ea3fa6a49e6a5a5f3a4d30748b752c6bc3597f8e | [log] [tgz] |
|---|---|---|
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | Tue Oct 06 17:56:59 2020 +0200 |
| committer | Tom Rini <trini@konsulko.com> | Tue Oct 13 19:19:09 2020 -0400 |
| tree | 5722858fd4a01bfc1cf7abd418a9567672b7145a | |
| parent | 689a7a7b596fb5eb111668aeeb1adc198d9afa48 [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>