docs: Configure for GitHub Pages

.github/workflows/deploy-docs.yml

@@ -0,0 +1,33 @@
+name: 'Deploy document'
+
+on:
+  push:
+    branches:
+      - 'main'
+  workflow_dispatch:
+
+jobs:
+  deploy-docs:
+    runs-on: ubuntu-latest
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+      - uses: actions/checkout@v4
+      - uses: jdx/mise-action@v2
+      - name: 'Configure dependencies'
+        run: |
+          uv sync --frozen --all-extras
+      - name: 'Build document'
+        run: |
+          task docs:build
+      - name: 'Upload artifact'
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: docs/_build/mini18n-dirhtml
+      - name: 'Deploy to GitHub Pages'
+        id: deployment
+        uses: actions/deploy-pages@v4

docs/conf.py

@@ -1,5 +1,7 @@
 """Configuration for documents."""
 
+import os
+
 from atsphinx.bulma import __version__ as version
 
 # -- Project information
@@ -10,6 +12,8 @@
 
 # -- General configuration
 extensions = [
+    # Bundled extensions
+    "sphinx.ext.githubpages",
     "sphinx.ext.todo",
     # My extensions
     "atsphinx.mini18n",
@@ -58,4 +62,4 @@
 mini18n_default_language = "en"
 mini18n_support_languages = ["en", "ja"]
 mini18n_select_lang_label = "Languages"
-mini18n_basepath = "/bulma/"
+mini18n_basepath = "/bulma/" if os.environ.get("GITHUB_PAGES") else "/"