From d9afc5b99ada6e5b4743b1d787e31d4070770119 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Fri, 17 May 2024 23:51:00 +0200
Subject: [PATCH] WIP

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 32b04887e3..203e34fd65 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -616,7 +616,7 @@ release-docs:
   before_script:
     - "apk add git make sed wget openssh"
   script:
-    - make docs
+    - make gen-docs-doc
     - eval $(ssh-agent -s)
     - echo "$CI_KEY_PRIVATE" > /root/.ssh/id_rsa && chmod 0600 /root/.ssh/id_rsa
     - echo "$CI_KEY_PUBLIC" > /root/.ssh/id_rsa.pub
-- 
GitLab