From 58897e25276e001ba58b9cd05ef24a2558ff70c1 Mon Sep 17 00:00:00 2001
From: Patrick Sonnerat <patrick.sonnerat@hotmail.com>
Date: Fri, 27 Dec 2024 19:11:07 +0100
Subject: [PATCH] Relocating to _html

---
 docs/{ => EN}/_html/robots.txt  | 0
 docs/{ => EN}/_html/sitemap.xml | 0
 docs/EN/conf.py                 | 6 ++++++
 docs/shared.conf.py             | 2 +-
 4 files changed, 7 insertions(+), 1 deletion(-)
 rename docs/{ => EN}/_html/robots.txt (100%)
 rename docs/{ => EN}/_html/sitemap.xml (100%)

diff --git a/docs/_html/robots.txt b/docs/EN/_html/robots.txt
similarity index 100%
rename from docs/_html/robots.txt
rename to docs/EN/_html/robots.txt
diff --git a/docs/_html/sitemap.xml b/docs/EN/_html/sitemap.xml
similarity index 100%
rename from docs/_html/sitemap.xml
rename to docs/EN/_html/sitemap.xml
diff --git a/docs/EN/conf.py b/docs/EN/conf.py
index 75b29022bf57..9087d5138c70 100644
--- a/docs/EN/conf.py
+++ b/docs/EN/conf.py
@@ -32,3 +32,9 @@
 # A list of paths that contain extra templates (or templates that overwrite builtin/theme-specific templates). Relative paths
 # are taken as relative to the configuration directory.
 templates_path = ['../_templates']
+
+# Add any extra paths that contain custom files (such as robots.txt or
+# .htaccess) here, relative to this directory. These files are copied
+# directly to the root of the documentation.
+html_extra_path = ["_html"]
+
diff --git a/docs/shared.conf.py b/docs/shared.conf.py
index 5ffb1e9582fb..1b1e78eaec35 100644
--- a/docs/shared.conf.py
+++ b/docs/shared.conf.py
@@ -212,7 +212,7 @@
 # Add any extra paths that contain custom files (such as robots.txt or
 # .htaccess) here, relative to this directory. These files are copied
 # directly to the root of the documentation.
-#html_extra_path = []
+#html_extra_path = ["_html"]
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.