From 0386710dfba07408c76fba9ef009c1a1882acb1d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Est=C3=A8ve?= <loic.esteve@ymail.com>
Date: Tue, 21 Jan 2025 10:45:24 +0100
Subject: [PATCH] Revert "MNT Add robots.txt to avoid indexing of old version
 doc (#30685)"

This reverts commit 61077dc08fd9cd6538fa8cece2f1dc1cee49e57d.
---
 doc/conf.py    | 2 +-
 doc/robots.txt | 4 ----
 2 files changed, 1 insertion(+), 5 deletions(-)
 delete mode 100644 doc/robots.txt

diff --git a/doc/conf.py b/doc/conf.py
index 36789ae6b5aea..4a5d2a6ec9c6b 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -340,7 +340,7 @@
 html_additional_pages = {"index": "index.html"}
 
 # Additional files to copy
-html_extra_path = ["robots.txt"]
+# html_extra_path = []
 
 # Additional JS files
 html_js_files = [
diff --git a/doc/robots.txt b/doc/robots.txt
deleted file mode 100644
index 10d0ec9c16677..0000000000000
--- a/doc/robots.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-User-agent: *
-Disallow: /
-Allow: /stable
-Allow: /dev/developers