Merge pull request tock#4121 from lschuermann/dev/rustdoc-host-target

Fix ci-job-rustdoc by building docs for host target
YoeDistro · Jul 30, 2024 · 1c43da9 · 1c43da9
2 parents 6c9993f + d5930af
commit 1c43da9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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