From 6898c126e347e3dbd4cf22a8429f6bb36660eb5f Mon Sep 17 00:00:00 2001 From: Julian Pawlowski <75446+jpawlowski@users.noreply.github.com> Date: Sat, 6 Dec 2025 01:40:38 +0000 Subject: [PATCH] fix(workflow): create separate directories for user and developer documentation during merge --- .github/workflows/docusaurus.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docusaurus.yml b/.github/workflows/docusaurus.yml index bdc7f41..ab1d6ee 100644 --- a/.github/workflows/docusaurus.yml +++ b/.github/workflows/docusaurus.yml @@ -95,10 +95,10 @@ jobs: # MERGE BUILDS - name: Merge both documentation sites run: | - mkdir -p deploy-root + mkdir -p deploy-root/user + mkdir -p deploy-root/developer cp docs/index.html deploy-root/ cp -r docs/user/build/* deploy-root/user/ - mkdir -p deploy-root/developer cp -r docs/developer/build/* deploy-root/developer/ # COMMIT VERSION SNAPSHOTS