diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index db5b177b7dc42cc31bc213a3e9f55abf8880b89f..6f91ae400776bd8279eaaff2e0a28567bb017d28 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,15 +1,21 @@ -image: debian:testing-20181011-slim +# image: debian:testing-20181011-slim # Non-functional on Inria Gitlab :( pages: stage: deploy script: - pandoc --version - pandoc --help - # - pandoc --list-input-formats + # - 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: \1Date\1