From a2930b4386599d4209151a8c06087fd893c8e1c8 Mon Sep 17 00:00:00 2001
From: Mads Marquart <madsmtm@gmail.com>
Date: Wed, 3 Jul 2019 17:15:21 +0200
Subject: [PATCH] Deprecate the doc url at /en/master/ in favor of /en/latest/

---
 docs/conf.py    | 2 ++
 docs/robots.txt | 2 ++
 2 files changed, 4 insertions(+)
 create mode 100644 docs/robots.txt

diff --git a/docs/conf.py b/docs/conf.py
index f3a47ae..759bb0b 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -78,6 +78,8 @@ 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
new file mode 100644
index 0000000..f592924
--- /dev/null
+++ b/docs/robots.txt
@@ -0,0 +1,2 @@
+User-agent: *
+Disallow: /en/master/