diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 1fcc3925..4a410a61 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -34,5 +34,5 @@ jobs: KEY: ${{secrets.KEY}} run: | cmake $GITHUB_WORKSPACE - make doc + # make doc # $GITHUB_WORKSPACE/support/build-docs.py