From 5487ebc433fd40171ef4166d78fb8db9a851474d Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Tue, 26 Nov 2024 17:51:29 +0000
Subject: [PATCH] Removing use of deprecated alias of VersionChange, which was
 removed in Sphinx 8
 <https://www.sphinx-doc.org/en/master/changes/8.0.html#release-8-0-0-released-jul-29-2024>
 and breaks the manual build.

---
 manual/source/extensions/mps/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/source/extensions/mps/__init__.py b/manual/source/extensions/mps/__init__.py
index 7c48b78127..95ae2a396c 100644
--- a/manual/source/extensions/mps/__init__.py
+++ b/manual/source/extensions/mps/__init__.py
@@ -12,7 +12,7 @@
 from docutils.parsers.rst import Directive
 from docutils.parsers.rst.directives.admonitions import BaseAdmonition
 from sphinx import addnodes
-from sphinx.directives.other import VersionChange
+from sphinx.domains.changeset import VersionChange
 from sphinx.domains import Domain
 from sphinx.domains.changeset import versionlabels
 from sphinx.locale import admonitionlabels