From eae3fcc255d9c540b3fae34a35e659f5fd7c1e7d Mon Sep 17 00:00:00 2001 From: Andy Kipp Date: Fri, 17 Feb 2023 16:33:57 +0600 Subject: [PATCH] Update robots.txt: remove outdated linux.html (#5062) Update robots.txt --- docs/_static/robots.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/_static/robots.txt b/docs/_static/robots.txt index 52a6f9e1f..3f2392fee 100644 --- 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