Merge pull request seqan#3226 from eseiler/infra/update_doc_deploy

[INFRA] Update documentation directory
marehr · Jan 25, 2024 · 62ca76d · 62ca76d
2 parents 713939a + 37b3167
commit 62ca76d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/deploy_documentation.yaml b/.github/workflows/deploy_documentation.yaml
@@ -62,7 +62,7 @@ jobs:
         with:
           flags: '-zr --delete --timeout=60 --omit-dir-times'
           src: 'doc-build/doc_usr/html/'
-          dest: '$REMOTE_USER@$REMOTE_HOST:$TARGET/3-master-user'
+          dest: '$REMOTE_USER@$REMOTE_HOST:$TARGET/main_user'
 
       - name: Deploy Developer Documentation
         uses: Pendect/[email protected]
@@ -74,4 +74,4 @@ jobs:
         with:
           flags: '-zr --delete --timeout=60 --omit-dir-times'
           src: 'doc-build/doc_dev/html/'
-          dest: '$REMOTE_USER@$REMOTE_HOST:$TARGET/3-master-dev'
+          dest: '$REMOTE_USER@$REMOTE_HOST:$TARGET/main_dev'