diff --git a/ci/dox.sh b/ci/dox.sh
index 615aacdd2547d1ce716f4b0d0f01dbd3fccdcc8d..5450088cc60c5e0b288f97c9ed22ecd5958abcba 100644
--- a/ci/dox.sh
+++ b/ci/dox.sh
@@ -5,10 +5,16 @@ set -e
rm -rf target/doc
mkdir -p target/doc
+cp ci/landing-page-head.html target/doc/index.html
+
doc() {
local _target=$1
echo documenting $_target
- rustdoc -o target/doc/$_target --target $_target src/lib.rs --cfg dox
+ 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>" \
+ >> target/doc/index.html
}
doc x86_64-unknown-linux-gnu
@@ -25,7 +31,7 @@ doc mips-unknown-linux-gnu
doc arm-linux-androideabi
doc x86_64-unknown-linux-musl
-cp ci/landing-page.html target/doc/index.html
+cat ci/landing-page-footer.html >> target/doc/index.html
if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "autotest" ]; then
pip install ghp-import --user $USER
diff --git a/ci/landing-page-footer.html b/ci/landing-page-footer.html
new file mode 100644
index 0000000000000000000000000000000000000000..fc69fa88eb5ce6fc8724ac195827278df5cdcdbd
--- /dev/null
+++ b/ci/landing-page-footer.html
@@ -0,0 +1,7 @@
+<!DOCTYPE html>
+<html lang="en">
+ <head>
+ <meta charset="utf-8">
+ </head>
+ <body>
+ <ul>
diff --git a/ci/landing-page-head.html b/ci/landing-page-head.html
new file mode 100644
index 0000000000000000000000000000000000000000..de3c63c01f3103b223fa934ff808d5609022824c
--- /dev/null
+++ b/ci/landing-page-head.html
@@ -0,0 +1,4 @@
+ </ul>
+ </body>
+</html>
+
diff --git a/ci/landing-page.html b/ci/landing-page.html
deleted file mode 100644
index 4effa19f4f75f846c3229b9dbdbad14eff362f32..0000000000000000000000000000000000000000
--- a/ci/landing-page.html
+++ /dev/null
@@ -1 +0,0 @@
-hello!