summaryrefslogtreecommitdiff
path: root/ci/dox.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ci/dox.sh')
-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