From 883fe176a427ac042fec29662ae4caffdaf8ca85 Mon Sep 17 00:00:00 2001 From: chrwm Date: Tue, 29 Aug 2023 12:06:02 +0200 Subject: [PATCH] Add mike #434 * deploys documentation on github pages --- mkdocs.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/mkdocs.yml b/mkdocs.yml index 46787063..151747a0 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -69,6 +69,11 @@ markdown_extensions: - pymdownx.tabbed: alternate_style: true +# Customization +extra: + version: + provider: mike + nav: - Home: index.md - Getting Started: getting_started.md