From 78751790cdecd22c635611b51b35779022a0ccd4 Mon Sep 17 00:00:00 2001 From: Santos Gallegos Date: Fri, 7 Jul 2023 05:30:43 -0500 Subject: [PATCH] Docs: set title explicitly (#10519) The current title is "{page title} - Read the Docs user documentation 9.15.0 documentation" --- docs/conf.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index a04e321ced4..4fac24c135c 100644 --- 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", }, }, }