Remove Jekyll redirection again

Author: SailReal

.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:

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