From 0f38aa802f050c32d4fe78fbe2c89090a07d7da3 Mon Sep 17 00:00:00 2001
From: Mario Sarcher <mario@sarcher.de>
Date: Mon, 9 Nov 2020 16:36:24 +0100
Subject: [PATCH] Update main.yml

---
 .github/workflows/main.yml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 24db76a5d0..f07a43d740 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -47,16 +47,16 @@ jobs:
            for filename in docs/extensions/api/**/*.md; do [ -e "$filename" ] || continue; sed -i '1s/^/---\ntitle: API Reference\n---\n/' $filename; done
   
            
-#      - name: mkdocs deploy latest
-#        run: | 
-#           mike deploy --push latest
+      - name: mkdocs deploy latest
+        run: | 
+           mike deploy --push latest
 
         
- #     - name: mkdocs deploy new release / tag
- #       if: contains(github.ref, 'refs/tags/v')
- #       run: | 
- #          mike deploy --push--update-aliases ${{ github.ref }} latest
- #          mike set-default --push ${{ github.ref }}
+      - name: mkdocs deploy new release / tag
+        if: contains(github.ref, 'refs/tags/v')
+        run: | 
+           mike deploy --push--update-aliases ${{ github.ref }} latest
+           mike set-default --push ${{ github.ref }}