summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorYuki Okushi <huyuumi.dev@gmail.com>2021-03-04 00:04:29 +0900
committerYuki Okushi <huyuumi.dev@gmail.com>2021-03-04 00:04:29 +0900
commit58cd70390c21a8241037808ba8ed3c842a3c7fb6 (patch)
tree36991108926c0701b28a1c9e82bac7f93df205a4 /ci
parent5786455a7900ad1a502dcf848e1e3ec77d669e95 (diff)
downloadrust-libc-58cd70390c21a8241037808ba8ed3c842a3c7fb6.tar.gz
Fix platforms' links on the `Platform-specific documentation` section
Diffstat (limited to 'ci')
-rw-r--r--ci/dox.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/dox.sh b/ci/dox.sh
index bcf20de5bf..4fe0dc5dad 100644
--- a/ci/dox.sh
+++ b/ci/dox.sh
@@ -60,7 +60,7 @@ while read -r target; do
mkdir -p "${TARGET_DOC_DIR}/${target}"
cp -r "target/${target}/doc" "${TARGET_DOC_DIR}/${target}"
- echo "* [${target}](${target}/libc/index.html)" >> $PLATFORM_SUPPORT
+ echo "* [${target}](${target}/doc/libc/index.html)" >> $PLATFORM_SUPPORT
done < targets
# Replace <div class="platform_support"></div> with the contents of $PLATFORM_SUPPORT