diff --git a/gitlab-ci.org b/gitlab-ci.org
index 38859bdf546e65b4b9f015ef1382759da1218185..811b13632d108d5adade0b9769a2ea55346b5a00 100644
--- a/gitlab-ci.org
+++ b/gitlab-ci.org
@@ -76,6 +76,8 @@ pages:
         mkdir -p public/`dirname ${file}`;
         mv ${file%.*}.html public/`dirname ${file}`/;
     done
+  - cat html_src_files.lst | sed 's|^./|- file:./|' > index.org
+  - pandoc pandoc -s -f org -t html -o public_html/index.html index.org
   artifacts:
     paths:
     - public