fix(workflow): create separate directories for user and developer documentation during merge

This commit is contained in:
Julian Pawlowski 2025-12-06 01:40:38 +00:00
parent d73eda4b2f
commit 6898c126e3

View file

@ -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