From 9c927c7ad95f38947663e2e199a4e0b309ce74fb Mon Sep 17 00:00:00 2001
From: "fryorcraken.eth" <git@fryorcraken.xyz>
Date: Fri, 5 May 2023 11:39:29 +1000
Subject: [PATCH] ci: copy index.html file when publishing

---
 ci/Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

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/'
       }
     }