From ee79969edac13404994f3b009a709e1e03782a92 Mon Sep 17 00:00:00 2001
From: Mads Marquart <madsmtm@gmail.com>
Date: Wed, 24 Jul 2019 00:58:42 +0200
Subject: [PATCH] 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
---
 docs/conf.py    | 2 --
 docs/robots.txt | 2 --
 2 files changed, 4 deletions(-)
 delete mode 100644 docs/robots.txt

diff --git a/docs/conf.py b/docs/conf.py
index 40cd0c9..fb11842 100644
--- 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.
 #
diff --git a/docs/robots.txt b/docs/robots.txt
deleted file mode 100644
index f592924..0000000
--- a/docs/robots.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-User-agent: *
-Disallow: /en/master/