From 3ba94bf03840c03bb879654b480ab0fd0eee1351 Mon Sep 17 00:00:00 2001 From: Alan Manning Date: Sat, 17 Feb 2024 03:42:37 +0000 Subject: [PATCH] building docs with rtd theme --- docs/conf.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index e1a3d2a..dc962d6 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -28,8 +28,8 @@ # on_rtd is whether we are on readthedocs.org on_rtd = os.environ.get("READTHEDOCS", None) == "True" -if not on_rtd: # only set the theme if we are building docs locally - html_theme = "sphinx_rtd_theme" +# if not on_rtd: # only set the theme if we are building docs locally +html_theme = "sphinx_rtd_theme" html_use_smartypants = True html_last_updated_fmt = "%b %d, %Y"