From dca74ec32fbe710563252895d7271bbf279c7599 Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Mon, 25 Mar 2019 10:29:44 +0100
Subject: [PATCH] [HTML] Generating index (stupid me)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index eded28d..e70395f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,6 +11,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