From b5b0a3edf21a76225876e8e8c8ca5095397c1b50 Mon Sep 17 00:00:00 2001
From: Ralf Mueller <ralf.mueller@dkrz.de>
Date: Mon, 12 Dec 2022 14:05:37 +0100
Subject: [PATCH] only create pdf docu for now (doxygen builder)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 36be1846d..53538a034 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,7 +2,7 @@ check-develop-release:
   script:
     - cd doc/tex && ./makehtml
   tags:
-    - latex
+    - doxygen
   only:
     - develop
     - k202125/add-gitlab-ci
-- 
GitLab