From a58693dcfdf9028e0a8bce46d2624965c7658788 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Sat, 18 May 2024 00:04:13 +0200
Subject: [PATCH] WIP

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 83492a6f0b..2d67a36a67 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -619,6 +619,7 @@ release-docs:
   script:
     - make gen-docs-doc
     - eval $(ssh-agent -s)
+    - "mkdir -p /root/.ssh"
     - echo "$CI_KEY_PRIVATE" > /root/.ssh/id_rsa && chmod 0600 /root/.ssh/id_rsa
     - echo "$CI_KEY_PUBLIC" > /root/.ssh/id_rsa.pub
     - echo "$CI_DOC_ID" > ~/.ssh/known_hosts
-- 
GitLab