Minor edits from express review <#141 (comment)>.

Author: rptb1

manual/build.txt

@@ -112,6 +112,8 @@ manual, like this::
   cd manual
   make html
 
+then open manual/html/index.html.
+
 On Windows platforms, follow the `Sphinx installation instructions
 <https://www.sphinx-doc.org/en/master/usage/installation.html>`_ for
 Windows, then invoke Sphinx as shown in the Makefile in the manual

manual/source/extensions/mps/designs.py

@@ -58,22 +58,22 @@
 # design.mps.doc.fmt.ref
 mps_ref = re.compile(r'`(\.[a-z][A-Za-z.0-9_-]*[A-Za-z0-9])`_(?:        )?')
 
-# design.mps.fmt.function-decl
+# design.mps.doc.fmt.function-decl
 funcdef = re.compile(r'^``([^`]*\([^`]*\))``$', re.MULTILINE)
 
-# design.mps.fmt.macro-decl
+# design.mps.doc.fmt.macro-decl
 macrodef = re.compile(r'^``((?:[A-Z][A-Z0-9_]+|{})(?:\([^`]*\))?)``$'
                       .format('|'.join(map(re.escape, MACROS.split()))), re.MULTILINE)
-# design.mps.fmt.macro
+# design.mps.doc.fmt.macro
 macro = re.compile(r'``([A-Z][A-Z0-9_]+)``(?:       )?')
 
-# design.mps.fmt.type-def
+# design.mps.doc.fmt.type-def
 typedef = re.compile(r'^``typedef ([^`]*)``$', re.MULTILINE) 
 
-# design.mps.fmt.function-ref
+# design.mps.doc.fmt.function-ref
 func = re.compile(r'``([A-Za-z][A-Za-z0-9_]+\(\))``')
 
-# design.mps.fmt.type-ref
+# design.mps.doc.fmt.type-ref
 typename = re.compile(r'``({0}|[A-Z][A-Za-z0-9_]*'
                       r'(?:Class|Function|Method|Struct|Union)|'
                       r'mps_[a-z_]+_[stu])``(?:      )?'

manual/source/guide/overview.rst

@@ -8,6 +8,9 @@
 Overview of the Memory Pool System
 ==================================
 
+.. IMPORTANT: If you change the paragraph below, also change
+   readme.txt
+
 The Memory Pool System is a very general, adaptable, flexible,
 reliable, and efficient memory management system. It permits the
 flexible combination of memory management techniques, supporting

readme.txt

@@ -19,6 +19,9 @@ very brief overview and tell you where to find more information.
 Overview of the MPS
 -------------------
 
+.. IMPORTANT: If you change the paragraph below, also change
+   manual/source/guide/overview.rst
+
 The Memory Pool System (MPS) is a very general, adaptable, flexible,
 reliable, and efficient memory management system.  It permits the
 flexible combination of memory management techniques, supporting manual