From e96b743a2a2b6381b5173210a5efc26f7d9d2c00 Mon Sep 17 00:00:00 2001
From: Quentin AUBERT <quentino.vega@gmail.com>
Date: Tue, 5 Nov 2024 15:49:13 +0100
Subject: [PATCH] FIX release process

---
 .github/workflows/release.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 3a672ad1f..238261525 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -67,9 +67,6 @@ jobs:
     - name: build manual
       id: manual
       run: |
-        cd manual
-        sbt "release release-version ${{ github.event.inputs.releaseversion }}"
-        cd ..
         sh ./scripts/build.sh manual
         echo "diff=$(git diff --numstat | wc -l)" >> $GITHUB_OUTPUT
         cd ..