diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 75d1582..063d2be 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -18,7 +18,7 @@ jobs: with: python-version: '3.12' - run: pip install sphinx sphinx_rtd_theme sphinx-reredirects - - run: make gh-pages + - run: make html - name: Upload artifact uses: actions/upload-pages-artifact@v3 with: diff --git a/Makefile b/Makefile index edbd2d4..4e5f69e 100644 --- a/Makefile +++ b/Makefile @@ -16,17 +16,6 @@ help: livehtml: sphinx-autobuild -b html $(ALLSPHINXOPTS) $(SOURCEDIR) $(BUILDDIR)/html -gh-pages: - @$(SPHINXBUILD) -b html "$(SOURCEDIR)" $(BUILDDIR)/html/en/latest $(SPHINXOPTS) - # Ensure Jekyll is enabled with correct YAML formatting - printf -- "plugins:\n - jekyll-redirect-from\n" > $(BUILDDIR)/html/_config.yml - # Create redirect for root to /en/latest/ - printf -- "---\nredirect_to: /en/latest/\n---\n" > $(BUILDDIR)/html/index.md - # Create redirect for /en/ to /en/latest/ - printf -- "---\nredirect_to: /en/latest/\n---\n" > $(BUILDDIR)/html/en/index.md - # Ensure GitHub Pages does NOT treat this as a Jekyll site - touch $(BUILDDIR)/html/.nojekyll - # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: Makefile