diff options
| author | bors <bors@rust-lang.org> | 2021-03-03 15:12:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-03-03 15:12:54 +0000 |
| commit | 6b1e6a2a72488481034fc2e1b409f379f96fd8f1 (patch) | |
| tree | 36991108926c0701b28a1c9e82bac7f93df205a4 | |
| parent | 5786455a7900ad1a502dcf848e1e3ec77d669e95 (diff) | |
| parent | 58cd70390c21a8241037808ba8ed3c842a3c7fb6 (diff) | |
| download | rust-libc-6b1e6a2a72488481034fc2e1b409f379f96fd8f1.tar.gz | |
Auto merge of #2099 - JohnTitor:fix-doc-links, r=JohnTitor
Fix platforms' links on the `Platform-specific documentation` section
Fixes #2098
r? `@ghost`
| -rw-r--r-- | ci/dox.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |