mirror of
https://github.com/smaeul/u-boot.git
synced 2025-09-12 21:16:02 +01:00
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>