diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index d7ca55f..13f104e 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -29,6 +29,7 @@ pipeline {
         sh 'npm install --silent'
         /* TODO: Build the main page. */
         sh 'mkdir -p build/docs'
+        sh 'cp index.html build/docs/'
       }
     }