From 58cd70390c21a8241037808ba8ed3c842a3c7fb6 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Thu, 4 Mar 2021 00:04:29 +0900
Subject: [PATCH] Fix platforms' links on the `Platform-specific documentation`
 section

---
 ci/dox.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/dox.sh b/ci/dox.sh
index bcf20de5bfc29..4fe0dc5dad8df 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