From 0bddceccfa148850c79c8dd6ab78f4b3829aa23c Mon Sep 17 00:00:00 2001
From: Johannes <29555657+joBr99@users.noreply.github.com>
Date: Tue, 28 Nov 2023 23:44:16 +0100
Subject: [PATCH] Update docs-release.yml

---
 .github/workflows/docs-release.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs-release.yml b/.github/workflows/docs-release.yml
index dd63d0c7..1cd849d1 100644
--- a/.github/workflows/docs-release.yml
+++ b/.github/workflows/docs-release.yml
@@ -7,7 +7,7 @@ on:
       - main
     paths:
       - docs/*
-      - .github/workflows/docs.yml
+      - .github/workflows/docs-release.yml
       - mkdocs.yml
       - HMI/README.md
 
@@ -25,5 +25,5 @@ jobs:
       - run: cp HMI/README.md docs/hmi-serial-protocol.md
       - run: git config --global user.name Docs deploy
       - run: git config --global user.email docs@dummy.bot.com
-      #- run: mike set-default stable
+      - run: mike set-default stable
       - run: mike deploy --push --update-aliases stable