gh-pages doc workflow fixes

Author: marufr

.github/workflows/publish_docs.yml

@@ -28,9 +28,9 @@ jobs:
           cd docs
           make html
       - name: Add .nojekyll file
-        run: touch .nojekyll
+        run: touch docs/build/html/.nojekyll
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: . # directory containing built HTML files
+          publish_dir: docs/build/html

docs/Makefile

@@ -5,7 +5,7 @@
 SPHINXOPTS    =
 SPHINXBUILD   = sphinx-build
 PAPER         =
-BUILDDIR      = ../../sira-doc-build
+BUILDDIR      = build
 PDFBUILDDIR	  = /tmp
 PDF			  = ../manual.pdf
 
@@ -215,4 +215,3 @@ gh-pages:
 	git commit -m "Generated gh-pages for `git log master -1 --pretty=short --abbrev-commit`"
 	git push origin gh-pages
 	cd $(CURDIR)
-