From 0e440465338457b513e8b295f95b112bde75074b Mon Sep 17 00:00:00 2001
From: rebortg <github@ghlr.de>
Date: Mon, 17 Feb 2025 21:55:41 +0100
Subject: Disallow atlassian-bot in robots.txt

---
 docs/_html_extra/robots.txt | 2 ++
 docs/conf.py                | 2 ++
 2 files changed, 4 insertions(+)
 create mode 100644 docs/_html_extra/robots.txt

(limited to 'docs')

diff --git a/docs/_html_extra/robots.txt b/docs/_html_extra/robots.txt
new file mode 100644
index 00000000..bccdfc14
--- /dev/null
+++ b/docs/_html_extra/robots.txt
@@ -0,0 +1,2 @@
+User-agent: atlassian-bot
+Disallow:
\ No newline at end of file
diff --git a/docs/conf.py b/docs/conf.py
index 3ae3ad9e..7d933306 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -109,6 +109,8 @@ html_theme = "sphinx_rtd_theme"
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
+html_extra_path = ['_html_extra']
+
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.
 #
-- 
cgit v1.2.3