From 11f4c17eefbec44007c6ed6924e5d7fe45cdd4ab Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Mon, 25 Mar 2019 10:28:19 +0100
Subject: [PATCH] [HTML] Build index

---
 gitlab-ci.org | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gitlab-ci.org b/gitlab-ci.org
index 38859bd..811b136 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
-- 
2.18.1