From 9e5257551ebf5ed04b9cdbd90899cc5548c2e337 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9mie=20Astori?= <jeremie@astori.fr>
Date: Mon, 24 Sep 2018 01:45:23 -0400
Subject: [PATCH] Rewrite /docs into /docs/

---
 _redirects | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/_redirects b/_redirects
index c01240ea..d115a8d4 100644
--- a/_redirects
+++ b/_redirects
@@ -1,3 +1,5 @@
+/docs  /docs/  200
+
 ## Archived redirects during the v2 to v3 documentation transition
 
 /docs/getting_started/install    /docs/install_and_upgrade