:octocat:

2026-08-18 15:52:28 +00:00 · 2023-07-11 14:30:28 +02:00
parent 9680e59a39
commit 2b4345e58c
2 changed files with 3 additions and 3 deletions
@@ -141,7 +141,7 @@ jobs:
      - name: "Build manual"
        run: |
          cd docs
-          make
+          make html

      - name: "Publish user manual to branch readthedocs"
        uses: JamesIves/github-pages-deploy-action@v4