Delete docs/robots.txt

Introduced in a2930b4, but I found out you could deprecate the doc url at /en/master/ using the ReadTheDocs web configuration
2019-07-24 00:58:42 +02:00
parent 6b07f1d8b9
commit ee79969eda
2 changed files with 0 additions and 4 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -93,8 +93,6 @@ html_theme_options = {
    "show_related": False,
 }

-html_extra_path = ["robots.txt"]
-
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.
 #
--- a/docs/robots.txt
+++ b/docs/robots.txt
@@ -1,2 +0,0 @@
-User-agent: *
-Disallow: /en/master/