make

flash62au · Jun 10, 2024 · 23ef18b · 23ef18b
1 parent 100fc6e
commit 23ef18b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -21,7 +21,7 @@ jobs:
       - name: Build docs
         run: |
           cd docs
-          make html
+          ./docs/make html
           touch _build/html/.nojekyll
       - name: Deploy
         uses: JamesIves/github-pages-deploy-action@ba1486788b0490a235422264426c45848eac35c6

diff --git a/docs/make.bat b/docs/make.bat
@@ -1,4 +1,4 @@
-REM ECHO OFF
+@ECHO OFF
 
 pushd %~dp0