Add an index.html page for geckolib docs

servo · Jun 12, 2017 · 6da69f6 · 6da69f6
1 parent 03074f4
commit 6da69f6
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/etc/ci/upload_docs.sh b/etc/ci/upload_docs.sh
@@ -16,10 +16,11 @@ cd "$(dirname ${0})/../.."
 
 ./mach doc
 # etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html
-cp etc/doc.servo.org/* target/doc/
+# Use recursive copy here to avoid `cp` returning an error code
+# when it encounters directories.
+cp -r etc/doc.servo.org/* target/doc/
 
 ./mach cargo-geckolib doc
-mkdir target/doc/geckolib
 # Use recursive copy here to avoid `cp` returning an error code
 # when it encounters directories.
 cp -r target/geckolib/doc/* target/doc/geckolib/

diff --git a/etc/doc.servo.org/geckolib/index.html b/etc/doc.servo.org/geckolib/index.html
@@ -0,0 +1,6 @@
+<!doctype html>
+<title>Geckolib, a subset of Servo’s style system for Stylo project.</title>
+<meta http-equiv=refresh content="0;url=geckoservo/index.html">
+
+Documentation for Geckolib, a subset of Servo’s style system for Stylo project.
+Start with <a href="geckoservo/index.html">the <code>geckoservo</code> crate</a>