add docs versionin with mike

.github/workflows/build-docs.yml

@@ -16,11 +16,13 @@ jobs:
         with:
           python-version: 3.x
       - run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
+      - name: Obtain version from MANIFEST.MF
+        run: echo "plugin_version=$(grep "Plugin-Version" plugins/nf-validation/src/resources/META-INF/MANIFEST.MF | awk '{print $2}' | awk -F '.' '{print $1"."$2}')" >> $GITHUB_ENV
       - uses: actions/cache@v3
         with:
           key: mkdocs-material-${{ env.cache_id }}
           path: .cache
           restore-keys: |
             mkdocs-material-
-      - run: pip install mkdocs-material pymdown-extensions pillow cairosvg
-      - run: mkdocs gh-deploy --force
+      - run: pip install mkdocs-material pymdown-extensions pillow cairosvg mike
+      - run: mike deploy --push --update-aliases ${{ env.plugin_version }} latest

.gitpod.yml

@@ -0,0 +1,10 @@
+# This configuration file was automatically generated by Gitpod.
+# Please adjust to your needs (see https://www.gitpod.io/docs/introduction/learn-gitpod/gitpod-yaml)
+# and commit this file to your remote git repository to share the goodness with others.
+
+# Learn more from ready-to-use templates: https://www.gitpod.io/docs/introduction/getting-started/quickstart
+
+tasks:
+  - init: make
+
+

mkdocs.yml

@@ -69,7 +69,7 @@ markdown_extensions:
   - def_list
   - md_in_html
   - pymdownx.emoji:
-      emoji_index: !!python/name:materialx.emoji.twemoji
+      emoji_index: !!python/name:material.extensions.emoji.twemoji
       emoji_generator: !!python/name:materialx.emoji.to_svg
   - pymdownx.highlight:
       anchor_linenums: true
@@ -87,3 +87,7 @@ plugins:
   - search
   - social:
       cards: !ENV [CARDS, true]
+
+extra:
+  version:
+    provider: mike