From 12b2eb3880f2dcbe34f6d762729fe3638262d847 Mon Sep 17 00:00:00 2001 From: Patrick Kanzler Date: Thu, 18 May 2023 16:12:56 +0200 Subject: [PATCH] post on execution on RTD --- doc/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/conf.py b/doc/conf.py index 33290d6..9696642 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -122,6 +122,7 @@ pygments_style = "sphinx" # a list of builtin themes. if on_rtd: html_theme = "default" + print("recognized execution on RTD") else: try: import sphinx_rtd_theme