docs: add redirection from getting started page (#2640)

Signed-off-by: Panos Vagenas <pva@zurich.ibm.com>
This commit is contained in:
Panos Vagenas
2025-11-17 14:13:51 +01:00
committed by GitHub
parent f5528623a7
commit ac9fc585bb
4 changed files with 18 additions and 1 deletions

View File

@@ -180,6 +180,9 @@ markdown_extensions:
- mkdocs-click
plugins:
- search
- redirects:
redirect_maps:
getting_started/index.md: index.md
- mkdocs-jupyter
- mkdocstrings:
default_handler: python