Replace make command with sphinx-build for HTML build

Author: Pauljanson002

.github/workflows/main.yml

@@ -23,8 +23,7 @@ jobs:
 
       - name: Build HTML
         run: |
-          cd docs
-          make html
+          sphinx-build -b html docs docs/_build/html
 
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v3