Documentation: Fix Sphinx build by adding _extra directory

crate · Oct 8, 2024 · ef5825e · ef5825e
1 parent 7d02d61
commit ef5825e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/_extra/robots.txt b/docs/_extra/robots.txt
@@ -0,0 +1,4 @@
+User-agent: *
+Disallow: /
+
+Sitemap: https://cratedb.com/docs/jdbc/en/latest/site.xml