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