refactor: rename docs to doc and pages to docs for GitHub Pages

- Rename docs/ to doc/ (contains packages.md, release_history.md, etc.)
- Rename pages/ to docs/ (contains search page index.html)
- Update all references in README.md, workflows, and Python scripts

GitHub Pages only supports / or /docs as the source directory.
This commit is contained in:
Junya Morioka
2026-01-18 01:12:22 +09:00
parent b1506291f5
commit 1bc47b39f2
11 changed files with 159 additions and 18 deletions
+2 -2
View File
@@ -258,8 +258,8 @@ jobs:
--assets /tmp/assets.json \
--tag "${{ github.ref_name }}" \
--repo "${{ github.repository }}" \
--output docs/release_history.md
python create_packages.py --assets /tmp/assets.json --output docs/packages.md
--output doc/release_history.md
python create_packages.py --assets /tmp/assets.json --output doc/packages.md
- name: Commit and push docs updates
run: |
+1 -1
View File
@@ -34,7 +34,7 @@ jobs:
run: |
git config --global user.name "github-actions[bot]"
git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
git add docs/data/download_history.json docs/data/download_graph.png
git add doc/data/download_history.json doc/data/download_graph.png
git diff --staged --quiet || git commit -m "chore: update download statistics
Update download statistics and graph for $(date -u +%Y-%m-%d)"