Doc: Add a robots.txt file

OSGeo · Aug 26, 2024 · 821571a · 821571a
1 parent 92c72b1
commit 821571a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/doc/build/html_extra/robots.txt b/doc/build/html_extra/robots.txt
@@ -0,0 +1,3 @@
+User-agent: *
+Allow: /en/latest/
+Disallow: /en/