From c37861d08bcdf72d1427e6c2f906dacf53a625a1 Mon Sep 17 00:00:00 2001
From: Jed Fox <git@twopointzero.us>
Date: Thu, 26 Apr 2018 11:41:52 -0400
Subject: [PATCH] Add a redirects file (#4321)

* Add a redirects file

* Remove non-working redirects
---
 website/static/_redirects | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 website/static/_redirects

diff --git a/website/static/_redirects b/website/static/_redirects
new file mode 100644
index 00000000..325fa53e
--- /dev/null
+++ b/website/static/_redirects
@@ -0,0 +1,3 @@
+# Redirect removed doc links
+/docs/:lang/usage.html          /docs/:lang/install.html
+/docs/:lang/usage-options.html  /docs/:lang/options.html