From 4177f753b32f1ffd98f16c50e38e3f59262e352a Mon Sep 17 00:00:00 2001
From: Arnaud Legrand
Date: Tue, 12 Mar 2019 17:18:09 +0100
Subject: [PATCH] Fix broken whitespaces in CI
---
.gitlab-ci.yml | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6f91ae4..01e1c83 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,12 +7,12 @@ pages:
- pandoc --help
# - pandoc --list-input-formats # Broken as pandoc dates from 2013 on this image! :(
- for file in $(find -name "*.md"); do
- pandoc -s -f markdown_github -t html -o ${file%.*}.html $file && echo "Exported ${file%.*}.html" || echo "ERROR $file";
- sed -i 's|https://gitlab.inria.fr/learninglab/|https://learninglab.gitlabpages.inria.fr/|g' ${file%.*}.html
- sed -i "s||The original version of this document is available on gitlab.|g" ${file%.*}.html
- sed -i "s|\-\-\-
|
|g" ${file%.*}.html
- sed -i "s|TITLE: \(.*\)
TITLE: \1
Date\1
|
The original version of this document is available on gitlab.|g" ${file%.*}.html;
+ sed -i "s|\-\-\-|
|g" ${file%.*}.html;
+ sed -i "s|TITLE:\(.*\)
TITLE:\1
Date\1