From 92a80fa5c9e163c8ef84dd8d346ea6bef2462aa7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Benjamin=20Melan=C3=A7on?= <ben@agaric.coop>
Date: Wed, 9 Feb 2022 23:38:37 -0500
Subject: [PATCH] Try adding explicit mention of sphinx rtd theme

Per https://stackoverflow.com/questions/67542699/readthedocs-sphinx-not-rendering-bullet-list-from-rst-file
---
 conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/conf.py b/conf.py
index aa8b47d..8d82760 100644
--- a/conf.py
+++ b/conf.py
@@ -43,6 +43,7 @@ extensions = [
     'sphinx.ext.autodoc',
     'sphinx.ext.autosectionlabel',
     'sphinx.ext.todo',
+    'sphinx_rtd_theme',
 ]
 
 # Add any paths that contain templates here, relative to this directory.