diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml index 8eabfd37..b750493a 100644 --- a/.github/workflows/documentation.yaml +++ b/.github/workflows/documentation.yaml @@ -35,7 +35,7 @@ jobs: - name: "Build documentation" run: | - ./tools/build_multiversion_doc.sh + python3 ./tools/build_multiversion_doc.py - name: "Build examples" run: >