[docs] Support old site's users.html (OpenAPITools#5297)

Our Docusaurus 1.x site had a users.html page. This adds a redirect from that location to /users
MikailBag · Mar 23, 2020 · 751a4cd · 751a4cd
1 parent 406db78
commit 751a4cd
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/website/src/pages/users.html.js b/website/src/pages/users.html.js
@@ -0,0 +1,7 @@
+import React from 'react';
+import {Redirect} from '@docusaurus/router';
+function Home() {
+    return <Redirect to="/users" />;
+}
+
+export default Home;