Docs: set title explicitly (#10519)

The current title is "{page title} - Read the Docs user documentation 9.15.0 documentation"
readthedocs · Jul 7, 2023 · 7875179 · 7875179
1 parent 5b3e4f3
commit 7875179
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -42,12 +42,14 @@
         "use_config_file": False,
         "config": {
             "project": "Read the Docs user documentation",
+            "html_title": "Read the Docs user documentation",
         },
     },
     "dev": {
         "use_config_file": False,
         "config": {
             "project": "Read the Docs developer documentation",
+            "html_title": "Read the Docs developer documentation",
         },
     },
 }