diff options
| author | Richard Brooksby | 2024-11-27 13:14:49 +0000 |
|---|---|---|
| committer | GitHub | 2024-11-27 13:14:49 +0000 |
| commit | dc6809e42ead03799e383243786a829161cc59dc (patch) | |
| tree | 21dd871e1e79b1d1f5b0cd11ce8e7f0799b9740c | |
| parent | d9c5d35179abcacc1158d104a49d953b28536c81 (diff) | |
| parent | bd231b27c206128b8074dca5c1db5022d7c723e9 (diff) | |
| download | emacs-dc6809e42ead03799e383243786a829161cc59dc.tar.gz emacs-dc6809e42ead03799e383243786a829161cc59dc.zip | |
Merging branch/2024-11-26/fix-manual-build for github pull request <https://github.com/ravenbrook/mps/pull/297>
Removing use of deprecated alias of VersionChange
GitHub-reference: https://github.com/Ravenbrook/mps/issues/297
| -rw-r--r-- | mps/manual/source/extensions/mps/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/manual/source/extensions/mps/__init__.py b/mps/manual/source/extensions/mps/__init__.py index 7c48b78127a..95ae2a396cb 100644 --- a/mps/manual/source/extensions/mps/__init__.py +++ b/mps/manual/source/extensions/mps/__init__.py | |||
| @@ -12,7 +12,7 @@ from docutils import nodes, transforms | |||
| 12 | from docutils.parsers.rst import Directive | 12 | from docutils.parsers.rst import Directive |
| 13 | from docutils.parsers.rst.directives.admonitions import BaseAdmonition | 13 | from docutils.parsers.rst.directives.admonitions import BaseAdmonition |
| 14 | from sphinx import addnodes | 14 | from sphinx import addnodes |
| 15 | from sphinx.directives.other import VersionChange | 15 | from sphinx.domains.changeset import VersionChange |
| 16 | from sphinx.domains import Domain | 16 | from sphinx.domains import Domain |
| 17 | from sphinx.domains.changeset import versionlabels | 17 | from sphinx.domains.changeset import versionlabels |
| 18 | from sphinx.locale import admonitionlabels | 18 | from sphinx.locale import admonitionlabels |