From d5930af2b0acb787be12b611e48157f7fd8e5402 Mon Sep 17 00:00:00 2001 From: Leon Schuermann Date: Tue, 30 Jul 2024 17:56:01 -0400 Subject: [PATCH] Fix ci-job-rustdoc by building docs for host target --- tools/build-all-docs.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/build-all-docs.sh b/tools/build-all-docs.sh index 42a6fa217d..f00469862f 100755 --- a/tools/build-all-docs.sh +++ b/tools/build-all-docs.sh @@ -25,8 +25,8 @@ else fi rm -f _COW _COW2 -# Make the documentation for all the boards. -make alldoc +# Make the documentation for all the boards, for the host's native target. +cargo doc # Replace the default rust logo with our own Tock logo and the favicon with our # own favicon. Note, it is also possible to set this using a `#[doc]` attribute