Update the MPS Manual for compatibility with Sphinx 3.#67

Merged

rptb1 merged 3 commits intomasterfrom

branch/2021-05-27/sphinx

Jan 19, 2023

Commits on Jun 1, 2021

Update the MPS Manual for compatibility with Sphinx 3.
gareth-rees
committed

Commits on Jan 18, 2023

Specifying Sphinx version before 5 because the manual layout is currently broken under Sphinx 5 and 6 <https://github.com/Ravenbrook/mps/issues/121>. Because that means we're using a variant of Sp…
rptb1
committed
Catch-up merge of master into branch/2021-05-27/sphinx as part of review of GitHub pull request 67 <https://github.com/Ravenbrook/mps/pull/67>.
rptb1
committed