Update robots.txt: remove outdated linux.html (xonsh#5062)

Update robots.txt
kouhe3 · Feb 17, 2023 · eae3fcc · eae3fcc
1 parent 204bb99
commit eae3fcc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/_static/robots.txt b/docs/_static/robots.txt
@@ -1,3 +1,4 @@
 User-agent: *
 Disallow: /dev/
 Disallow: /docs-ahundt-sphinx
+Disallow: /linux.html