update dir

diff --git a/.github/documentation.yml b/.github/documentation.yml
deleted file mode 100644 (file)
index a101ad3..0000000
--- a/.github/documentation.yml
+++ /dev/null
@@ -1,31 +0,0 @@
-name: documentation
-
-on:
-  pull_request:
-    types: [opened, ready_for_review]
-  push:
-  workflow_dispatch:
-
-permissions:
-  contents: write
-
-jobs:
-  docs:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: actions/setup-python@v5
-      - name: Install dependencies
-        run: |
-          pip install sphinx pallets-sphinx-themes sphinxcontrib-mermaid sphinx-new-tab-link sphinx-click
-      - name: Sphinx build
-        run: |
-          sphinx-build docs _build
-      - name: Deploy to GitHub Pages
-        uses: peaceiris/actions-gh-pages@v3
-        if: ${{ github.event_name == 'push'}}
-        with:
-          publish_branch: gh-pages
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: _build/
-          force_orphan: true

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
new file mode 100644 (file)
index 0000000..e4fa71e
--- /dev/null
+++ b/.github/workflows/documentation.yml
@@ -0,0 +1,27 @@
+name: documentation
+
+on: [push, pull_request, workflow_dispatch]
+
+permissions:
+  contents: write
+
+jobs:
+  docs:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+      - name: Install dependencies
+        run: |
+          pip install sphinx pallets-sphinx-themes sphinxcontrib-mermaid sphinx-new-tab-link sphinx-click
+      - name: Sphinx build
+        run: |
+          sphinx-build docs _build
+      - name: Deploy to GitHub Pages
+        uses: peaceiris/actions-gh-pages@v3
+        if: ${{ github.event_name == 'push'}}
+        with:
+          publish_branch: gh-pages
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: _build/
+          force_orphan: true