From 56715050013eb8a5656f65f2653fa47fb0b5d4d4 Mon Sep 17 00:00:00 2001
From: CaCO3 <caco3@ruinelli.ch>
Date: Sat, 15 Feb 2025 22:15:47 +0100
Subject: [PATCH] .

---
 .github/workflows/build-docs.yaml | 2 +-
 README.md                         | 2 +-
 mkdocs.yml                        | 3 +++
 3 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build-docs.yaml b/.github/workflows/build-docs.yaml
index f2c8302..f8ce1e6 100644
--- a/.github/workflows/build-docs.yaml
+++ b/.github/workflows/build-docs.yaml
@@ -34,7 +34,7 @@ jobs:
           fetch-depth: 0
       - uses: actions/setup-python@v5
       - run: |
-          pip install --upgrade pip && pip install mkdocs mkdocs-gen-files mkdocs-awesome-pages-plugin mkdocs-material mkdocs-enumerate-headings-plugin
+          pip install --upgrade pip && pip install mkdocs mkdocs-gen-files mkdocs-awesome-pages-plugin mkdocs-material mkdocs-enumerate-headings-plugin mkdocs-redirects-plugin
           git config user.name 'github-actions[bot]'
           git config user.email 'github-actions[bot]@users.noreply.github.com'
           
diff --git a/README.md b/README.md
index 7195fb6..194ddfb 100644
--- a/README.md
+++ b/README.md
@@ -54,7 +54,7 @@ To test it locally:
 1. Install the required tools (See also [.github/workflows/build-docs.yaml](.github/workflows/build-docs.yaml)):
     ```
     pip install --upgrade pip
-    pip install mkdocs mkdocs-gen-files mkdocs-awesome-pages-plugin mkdocs-material pymdown-extensions mkdocs-enumerate-headings-plugin
+    pip install mkdocs mkdocs-gen-files mkdocs-awesome-pages-plugin mkdocs-material pymdown-extensions mkdocs-enumerate-headings-plugin mkdocs-redirects-plugin
     ```
 1. In the main folder of the repo, call `mkdocs serve` (and keep it running).
   This will locally generate the documentation.
diff --git a/mkdocs.yml b/mkdocs.yml
index c85a0c0..61e8600 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -22,6 +22,9 @@ plugins:
   - enumerate-headings:
       increment_across_pages: false
       toc_depth: 6
+  - redirects:
+      redirect_maps:
+        'Parameters/#parameter-numberanalogtodigittransitionstart': 'Parameters/#parameter-analogtodigittransitionstart'
 
 # The navigation is configured in the docs/nav.yml file!