Switching to the Read the Docs theme fixes layout problems described …

…in GitHub issue #121 <#121>.
Ravenbrook · Feb 27, 2023 · 96a1cb6 · 96a1cb6
1 parent 6fd50a6
commit 96a1cb6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/manual/requirements.pip b/manual/requirements.pip
@@ -1,5 +1,4 @@
 # manual/requirements.txt -- MPS manual build requirements for pip
 
-# Layout breaks in Sphinx >= 5.  See <https://github.com/Ravenbrook/mps/issues/121>.
-sphinx >= 4, < 5
+sphinx
 sphinx-rtd-theme