From f15fcff5d4e67d03cd621364fb51e9cd4f1b835f Mon Sep 17 00:00:00 2001
From: George Wang <gwang@litespeedtech.com>
Date: Thu, 4 Jan 2024 12:27:15 -0500
Subject: [PATCH] add "sphinx_rtd_theme" extension.

---
 docs/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/conf.py b/docs/conf.py
index 16412089..1f8bb8fb 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -41,6 +41,7 @@
 extensions = [
 # To make ours look like readthedocs.io, change theme to "sphinx_rtd_theme",
 # pip install sphinx_rtd_theme, and uncomment extensions:
+    "sphinx_rtd_theme",
 #    "sphinx.ext.intersphinx",
 #    "sphinx.ext.autodoc",
 #    "sphinx.ext.mathjax",