From a113c10b853c73729931f063d9e7b0982487d9e3 Mon Sep 17 00:00:00 2001
From: Shneor <770elmo@gmail.com>
Date: Sun, 7 Jul 2024 14:56:28 +0200
Subject: [PATCH] Updated docs workflow

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 14d792b6..67784d51 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -30,8 +30,8 @@ jobs:
 
       - name: Move generated docs from temp directory to branch `docs`, and commit (branch docs contains a folder named docs)
         run: |
-          mkdir -p ./docs/master
-          cp -r /tmp/docs/* ./docs/master
+          mkdir -p ./docs/dev
+          cp -r /tmp/docs/* ./docs/dev
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
           git add .