Auto merge of #2099 - JohnTitor:fix-doc-links, r=JohnTitor

Fix platforms' links on the `Platform-specific documentation` section Fixes #2098 r? `@ghost`
rust-lang · Mar 3, 2021 · 6b1e6a2 · 6b1e6a2
2 parents 5786455 + 58cd703
commit 6b1e6a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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