diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 92888c2..8e801bd 100644
--- 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
index 3de7bff..954237b 100644
--- a/docs/make.bat
+++ b/docs/make.bat
@@ -1,4 +1,4 @@
-REM ECHO OFF
+@ECHO OFF
 
 pushd %~dp0