From 7a1750545df201f688592cc80d2cb0eebf72e7d0 Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Fri, 22 Mar 2019 09:10:16 +0100
Subject: [PATCH] Trying to fix CI. This worked on my machine :(

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 11b7140..41c6ac8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,8 +7,9 @@ pages:
   # - 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};
-        mkdir -p public/`dirname ${file}`
-        mv ${file%.*}.html public/`dirname ${file}`;
+        echo "Creating"  public/`dirname ${file}`;
+        mkdir -p public/`dirname ${file}`;
+        mv ${file%.*}.html public/`dirname ${file}`/;
     done
   - shopt -s extglob
   # - mv !(public) public
-- 
2.18.1