From 5617c983b5eadfc95497cf7e6bf0ecd4763fa32e Mon Sep 17 00:00:00 2001 From: Gareth Rees Date: Sun, 23 Aug 2020 15:45:38 +0100 Subject: [PATCH] Avoid warning from sphinx 2.2.1 about versionlabels. This object is now available as sphinx.domains.changeset.versionlabels and the old name sphinx.locale.versionlabels will be removed in Sphinx 3.0. --- mps/manual/source/extensions/mps/__init__.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mps/manual/source/extensions/mps/__init__.py b/mps/manual/source/extensions/mps/__init__.py index 466aaef3359..3c652548262 100644 --- a/mps/manual/source/extensions/mps/__init__.py +++ b/mps/manual/source/extensions/mps/__init__.py @@ -14,9 +14,10 @@ from docutils.parsers.rst.directives.admonitions import BaseAdmonition from sphinx import addnodes from sphinx.directives.other import VersionChange from sphinx.domains import Domain +from sphinx.domains.changeset import versionlabels +from sphinx.locale import admonitionlabels from sphinx.roles import XRefRole from sphinx.util.nodes import set_source_info, process_index_entry -from sphinx.locale import admonitionlabels, versionlabels from . import designs