From ef5825ead73089d6d37b78d70935f403b6c7a644 Mon Sep 17 00:00:00 2001
From: Andreas Motl <andreas.motl@crate.io>
Date: Tue, 8 Oct 2024 22:48:57 +0200
Subject: [PATCH] Documentation: Fix Sphinx build by adding `_extra` directory

---
 docs/_extra/robots.txt | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 docs/_extra/robots.txt

diff --git a/docs/_extra/robots.txt b/docs/_extra/robots.txt
new file mode 100644
index 0000000..99b8611
--- /dev/null
+++ b/docs/_extra/robots.txt
@@ -0,0 +1,4 @@
+User-agent: *
+Disallow: /
+
+Sitemap: https://cratedb.com/docs/jdbc/en/latest/site.xml