From a8b56973bb5741bc650f530847b85df7322bce8d Mon Sep 17 00:00:00 2001
From: ROSPARS Benoit <benoit.rospars@inria.fr>
Date: Fri, 22 Mar 2019 11:06:53 +0100
Subject: [PATCH] Re-add index with all generated html

---
 .gitlab-ci.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 41c6ac8..a838354 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,16 +3,14 @@ pages:
   stage: deploy
   script:
   - pandoc --version
-  # - pandoc --help
-  # - pandoc --list-input-formats    # Broken as pandoc dates from 2013 on this image! :(
   - for file in $(find -name "*.md") $(find -name "*.org"); do
         bin/pandoc_fixer.pl ${file};
         echo "Creating"  public/`dirname ${file}`;
+        echo "<a style='display:block;' href='${file%.*}.html'>${file%.*}.html</a>" >> index.html
         mkdir -p public/`dirname ${file}`;
         mv ${file%.*}.html public/`dirname ${file}`/;
     done
   - shopt -s extglob
-  # - mv !(public) public
   artifacts:
     paths:
     - public
-- 
2.18.1