From 1c1da184e0e74163335fca687a1cd64c070a3b65 Mon Sep 17 00:00:00 2001
From: Quentin AUBERT <quentino.vega@gmail.com>
Date: Mon, 7 Oct 2024 16:37:16 +0200
Subject: [PATCH] don't build manual on action

---
 .github/workflows/release.yml | 48 +++++++++++++++++------------------
 1 file changed, 24 insertions(+), 24 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index d23cdda72..ba3ddeb8c 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -49,30 +49,30 @@ jobs:
         branch: ${{ github.ref }}
         github_token: ${{ secrets.GITHUB_TOKEN}}
     #Build manual with right version
-    - name: build manual
-      id: manual
-      run: |
-        find ./manual/src/main/paradox -type f -name '*.md' | xargs node ./scripts/version.js ${{ github.event.inputs.lastVersion }} ${{ github.event.inputs.releaseversion }}
-        find ./docs -type f -name '*.html' -d 1 | xargs node ./scripts/version.js ${{ github.event.inputs.lastVersion }} ${{ github.event.inputs.releaseversion }}
-        cd manual
-        sbt "release with-defaults release-version ${{ github.event.inputs.releaseversion }}"
-        cd ..
-        sh ./scripts/build.sh manual
-        echo "diff=$(git diff --numstat | wc -l)" >> $GITHUB_OUTPUT
-        cd ..
-    - name: Commit manual
-      if: steps.manual.outputs.diff != '0'
-      run: |
-        git config --local user.email "daikoku-github-actions@users.noreply.github.com"
-        git config --local user.name "daikoku-github-actions"
-        git add --all
-        git commit -am "Update documentation before release"
-    - name: Push manual
-      uses: ad-m/github-push-action@master
-      if: steps.manual.outputs.diff != '0'
-      with:
-        branch: ${{ github.ref }}
-        github_token: ${{ secrets.GITHUB_TOKEN}}
+    # - name: build manual
+    #   id: manual
+    #   run: |
+    #     find ./manual/src/main/paradox -type f -name '*.md' | xargs node ./scripts/version.js ${{ github.event.inputs.lastVersion }} ${{ github.event.inputs.releaseversion }}
+    #     find ./docs -type f -name '*.html' -d 1 | xargs node ./scripts/version.js ${{ github.event.inputs.lastVersion }} ${{ github.event.inputs.releaseversion }}
+    #     cd manual
+    #     sbt "release with-defaults release-version ${{ github.event.inputs.releaseversion }}"
+    #     cd ..
+    #     sh ./scripts/build.sh manual
+    #     echo "diff=$(git diff --numstat | wc -l)" >> $GITHUB_OUTPUT
+    #     cd ..
+    # - name: Commit manual
+    #   if: steps.manual.outputs.diff != '0'
+    #   run: |
+    #     git config --local user.email "daikoku-github-actions@users.noreply.github.com"
+    #     git config --local user.name "daikoku-github-actions"
+    #     git add --all
+    #     git commit -am "Update documentation before release"
+    # - name: Push manual
+    #   uses: ad-m/github-push-action@master
+    #   if: steps.manual.outputs.diff != '0'
+    #   with:
+    #     branch: ${{ github.ref }}
+    #     github_token: ${{ secrets.GITHUB_TOKEN}}
     # release sbt (with auto commit tag)
     - name: release sbt
       run: |