post on execution on RTD

2023-05-18 16:12:56 +02:00 · 2023-05-18 16:12:56 +02:00 · 12b2eb3880
commit 12b2eb3880
parent b487067597
1 changed files with 1 additions and 0 deletions
--- 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