Removed old redirects

This commit is contained in:
squidfunk 2023-01-02 14:13:07 +01:00
parent 873d2efaea
commit 3311c82cb5
2 changed files with 1 additions and 10 deletions

View File

@ -3,7 +3,7 @@ icon: material/tooltip-plus
status: new status: new
--- ---
# Abbreviations # Tooltips
Technical documentation often incurs the usage of many acronyms, which may Technical documentation often incurs the usage of many acronyms, which may
need additional explanation, especially for new user of your project. For these need additional explanation, especially for new user of your project. For these

View File

@ -85,15 +85,6 @@ theme:
plugins: plugins:
- search: - search:
separator: '[\s\-,:!=\[\]()"`/]+|\.(?!\d)|&[lg]t;|(?!\b)(?=[A-Z][a-z])' separator: '[\s\-,:!=\[\]()"`/]+|\.(?!\d)|&[lg]t;|(?!\b)(?=[A-Z][a-z])'
- redirects:
redirect_maps:
changelog/insiders.md: insiders/changelog.md
conventions.md: philosophy.md
reference/abbreviations.md: reference/tooltips.md
reference/meta-tags.md: reference/index.md
reference/variables.md: https://mkdocs-macros-plugin.readthedocs.io/
sponsorship.md: insiders/index.md
upgrading.md: upgrade.md
- minify: - minify:
minify_html: true minify_html: true