diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-01-12 00:14:10 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2024-01-12 00:15:25 +0100 |
| commit | 583f6d9cc55627906ab39a4b6c741d543f3704c7 (patch) | |
| tree | d9487f5d13c8f9470b05401164a06669013221c1 /.github | |
| parent | 6fb38849e73aacabd9b6a603fb9b0768195c36b7 (diff) | |
net-ppp: add repo, docs link.
Diffstat (limited to '.github')
| -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 aaccb8a67..d65bd484f 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh | |||
| @@ -37,6 +37,7 @@ docserver-builder -i ./embassy-usb-logger -o webroot/crates/embassy-usb-logger/g | |||
| 37 | docserver-builder -i ./cyw43 -o webroot/crates/cyw43/git.zup | 37 | docserver-builder -i ./cyw43 -o webroot/crates/cyw43/git.zup |
| 38 | docserver-builder -i ./cyw43-pio -o webroot/crates/cyw43-pio/git.zup | 38 | docserver-builder -i ./cyw43-pio -o webroot/crates/cyw43-pio/git.zup |
| 39 | docserver-builder -i ./embassy-net-wiznet -o webroot/crates/embassy-net-wiznet/git.zup | 39 | docserver-builder -i ./embassy-net-wiznet -o webroot/crates/embassy-net-wiznet/git.zup |
| 40 | docserver-builder -i ./embassy-net-ppp -o webroot/crates/embassy-net-ppp/git.zup | ||
| 40 | docserver-builder -i ./embassy-net-enc28j60 -o webroot/crates/embassy-net-enc28j60/git.zup | 41 | docserver-builder -i ./embassy-net-enc28j60 -o webroot/crates/embassy-net-enc28j60/git.zup |
| 41 | docserver-builder -i ./embassy-net-esp-hosted -o webroot/crates/embassy-net-esp-hosted/git.zup | 42 | docserver-builder -i ./embassy-net-esp-hosted -o webroot/crates/embassy-net-esp-hosted/git.zup |
| 42 | docserver-builder -i ./embassy-stm32-wpan -o webroot/crates/embassy-stm32-wpan/git.zup --output-static webroot/static | 43 | docserver-builder -i ./embassy-stm32-wpan -o webroot/crates/embassy-stm32-wpan/git.zup --output-static webroot/static |