From 2d55741fcb073e4d2aa6d151555818593be96d3c Mon Sep 17 00:00:00 2001
From: Enrico Seiler <enrico.seiler@hotmail.de>
Date: Tue, 5 Nov 2024 13:25:29 +0100
Subject: [PATCH] [INFRA] Prepare option renaming

Since documentation runs on pull_request_target, this needs to be changed before actually changing the option.
---
 .github/workflows/ci_documentation.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci_documentation.yml b/.github/workflows/ci_documentation.yml
index a88dcbd..82e5395 100644
--- a/.github/workflows/ci_documentation.yml
+++ b/.github/workflows/ci_documentation.yml
@@ -52,7 +52,9 @@ jobs:
           mkdir build && cd build
           cmake .. -DCMAKE_BUILD_TYPE=Release \
                    -Dneedle_TEST=OFF \
-                   -Dneedle_DOCS=ON
+                   -Dneedle_DOCS=ON \
+                   -DNEEDLE_TEST=OFF \
+                   -DNEEDLE_DOCS=ON
 
       - name: Build docs
         working-directory: build