diff --git a/ci/dox.sh b/ci/dox.sh
index 6edcb159ddba64a7c9ae7aff776dbd966d61d09f..88d882dcacdd3cbf28304e7b37d156150c3621b8 100644
--- a/ci/dox.sh
+++ b/ci/dox.sh
@@ -19,7 +19,7 @@ for target in $TARGETS; do
   rustdoc -o target/doc/$target --target $target src/lib.rs --cfg dox \
     --crate-name libc
 
-  echo "<li><a href="$target/libc/index.html">$target</a></li>" \
+  echo "<li><a href="/libc/$target/libc/index.html">$target</a></li>" \
     >> target/doc/index.html
 done