Adding references to issues behind design choice of sphinx_rtd_theme,…

… in response to review <#166 (comment)>.
Ravenbrook · Oct 20, 2023 · 421cad4 · 421cad4
1 parent 6fd0a91
commit 421cad4
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/manual/source/conf.py b/manual/source/conf.py
@@ -38,8 +38,12 @@
     project = u'Memory Pool System'
     master_doc = 'index'
     # We use the Read the Docs theme for Sphinx for smooth publishing
-    # at readthedocs.io and low maintenance overheads.  See
-    # <https://sphinx-rtd-theme.readthedocs.io/>.
+    # at readthedocs.io, low maintenance overheads, local search, etc.
+    # See primarily `GitHub issue #98
+    # <https://github.com/Ravenbrook/mps/issues/98>`_ but also `GitHub
+    # issue #121 <https://github.com/Ravenbrook/mps/issues/121>`_ .
+    # See <https://sphinx-rtd-theme.readthedocs.io/> for theme
+    # documentation.
     html_theme = 'sphinx_rtd_theme'
     html_theme_options = {
         'includehidden': False,