Add post-processing to build the Memory Management Reference.

.readthedocs.yaml

@@ -19,6 +19,21 @@ build:
   os: ubuntu-22.04
   tools:
     python: '3'
+  jobs:
+    # If MMREF is set then this config is being run to build the
+    # Memory Management Reference, which requires post-processing by
+    # the make-mmref.py script.
+    #
+    # FIXME: Duplicates code in manual/Makefile in a hacky way, but
+    # simply calling that Makefile would disable various Read the Docs
+    # features.
+    #
+    # See <https://docs.readthedocs.io/en/stable/build-customization.html#extend-the-build-process>.
+    post_build:
+      - if test -n "${MMREF}"; then \
+          mv "${READTHEDOCS_OUTPUT}/html" "${READTHEDOCS_OUTPUT}/mmref.in" && \
+          python manual/make-mmref.py "${READTHEDOCS_OUTPUT}/mmref.in" "${READTHEDOCS_OUTPUT}/html" \
+        fi
 
 python:
   install:
@@ -37,6 +52,7 @@ sphinx:
 # B. DOCUMENT HISTORY
 #
 # 2023-02-02 RB Created as part of MPS GitHub migration.
+# 2023-03-03 RB Updated to also build the Memory Management Reference.
 #
 #
 # C. COPYRIGHT AND LICENSE