diff --git a/.ci/build_doc.sh b/.ci/compile_doc.sh
old mode 100644
new mode 100755
similarity index 100%
rename from .ci/build_doc.sh
rename to .ci/compile_doc.sh
diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
index 6aff03b..be4fce1 100644
--- a/.gitea/workflows/build.yaml
+++ b/.gitea/workflows/build.yaml
@@ -35,7 +35,7 @@ jobs:
           REF_NAME: ${{ github.ref_name }}
       - name: Compile documentation
         if: github.ref == 'refs/heads/master'
-        run: make doc
+        run: .ci/compile_doc.sh
       - name: Prepage pages
         if: github.ref == 'refs/heads/master'
         run: |