redirect on old links

pola-rs · Jan 24, 2024 · 5148a7f · 5148a7f
1 parent a0c2265
commit 5148a7f
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/docs/_build/overrides/404.html b/docs/_build/overrides/404.html
@@ -1,4 +1,4 @@
-{% extends "main.html" %}
+{% extends "base.html" %}
 {% block content %}
 <div>
    <svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"
@@ -217,6 +217,6 @@ <h2>404 - You're lost.</h2>
       How you got here is a mystery. But you can click the button below
       to go back to the homepage or use the search bar in the navigation menu to find what you are looking for.
    </p>
-   <a class="md-button" href="/user-guide/overview/">Home</a>
+   <a class="md-button" href="https://docs.pola.rs">Home</a>
 </div>
 {% endblock %}
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -5,6 +5,7 @@ matplotlib
 
 mkdocs-material==9.5.2
 mkdocs-macros-plugin==1.0.4
+mkdocs-redirects==1.2.1
 material-plausible-plugin==0.2.0
 markdown-exec[ansi]==1.7.0
 PyGithub==2.1.1
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -175,3 +175,10 @@ plugins:
   - material-plausible
   - macros:
       module_name: docs/_build/scripts/macro
+  - redirects:
+      redirect_maps:
+        'user-guide/index.md': 'index.md'
+        'user-guide/basics/index.md': 'user-guide/getting-started.md'
+        'user-guide/basics/reading-writing.md': 'user-guide/getting-started.md'
+        'user-guide/basics/expressions.md': 'user-guide/getting-started.md'
+        'user-guide/basics/joins.md': 'user-guide/getting-started.md'