diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-01-11 17:17:36 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2024-01-11 17:17:58 +0100 |
| commit | 75b05fb3447c449ed14648edbf8382d046acafea (patch) | |
| tree | f025105ae7449df92f5f42abda0d3bdf094e774d /.github/ci/doc.sh | |
| parent | 650f5661495e5c0d6fe25bd3742058a02ac0bae1 (diff) | |
time: docs improvements, add ci.
Diffstat (limited to '.github/ci/doc.sh')
| -rwxr-xr-x | .github/ci/doc.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh index fbed2752a..0bbe7f690 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh | |||
| @@ -30,6 +30,7 @@ docserver-builder -i ./embassy-nrf -o webroot/crates/embassy-nrf/git.zup | |||
| 30 | docserver-builder -i ./embassy-rp -o webroot/crates/embassy-rp/git.zup | 30 | docserver-builder -i ./embassy-rp -o webroot/crates/embassy-rp/git.zup |
| 31 | docserver-builder -i ./embassy-sync -o webroot/crates/embassy-sync/git.zup | 31 | docserver-builder -i ./embassy-sync -o webroot/crates/embassy-sync/git.zup |
| 32 | docserver-builder -i ./embassy-time -o webroot/crates/embassy-time/git.zup | 32 | docserver-builder -i ./embassy-time -o webroot/crates/embassy-time/git.zup |
| 33 | docserver-builder -i ./embassy-time-driver -o webroot/crates/embassy-time-driver/git.zup | ||
| 33 | docserver-builder -i ./embassy-usb -o webroot/crates/embassy-usb/git.zup | 34 | docserver-builder -i ./embassy-usb -o webroot/crates/embassy-usb/git.zup |
| 34 | docserver-builder -i ./embassy-usb-driver -o webroot/crates/embassy-usb-driver/git.zup | 35 | docserver-builder -i ./embassy-usb-driver -o webroot/crates/embassy-usb-driver/git.zup |
| 35 | docserver-builder -i ./embassy-usb-logger -o webroot/crates/embassy-usb-logger/git.zup | 36 | docserver-builder -i ./embassy-usb-logger -o webroot/crates/embassy-usb-logger/git.zup |