Add mdbook documentation for the sync server

This commit is contained in:
Dustin J. Mitchell 2025-07-13 17:17:48 -04:00
parent c539e604d9
commit 60436a5524
No known key found for this signature in database
10 changed files with 178 additions and 94 deletions

30
.github/workflows/publish-docs.yml vendored Normal file
View file

@ -0,0 +1,30 @@
name: docs
on:
push:
branches:
- main
permissions:
contents: write
jobs:
mdbook-deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v2
with:
# if this changes, change it in .github/workflows/checks.yml as well
mdbook-version: '0.4.48'
- run: mdbook build docs
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/book