Use the redirects plugin for stubs

davide125 · davide125 · commit 4b2af24d1c09 · 2025-02-19T07:52:59.000-08:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -27,5 +27,5 @@ jobs:
           path: .cache
           restore-keys: |
             mkdocs-material-
-      - run: pip install mkdocs-material mkdocs-material[imaging]
+      - run: pip install mkdocs-material mkdocs-material[imaging] mkdocs-redirects
       - run: mkdocs gh-deploy --force
diff --git a/docs/Software-known-to-have-issues-with-16k-page-size.md b/docs/Software-known-to-have-issues-with-16k-page-size.md
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -62,6 +62,9 @@ markdown_extensions:
       clickable_checkbox: true
 
 plugins:
+  - redirects:
+      redirect_maps:
+        Software-known-to-have-issues-with-16k-page-size.md: Broken-Software.md
   - search
   - social:
       cards_layout_options:
