From fe04af73d5ca70eac9fd9251e200a69d0d2e9865 Mon Sep 17 00:00:00 2001
From: ROSPARS Benoit <benoit.rospars@inria.fr>
Date: Wed, 6 Mar 2019 17:18:12 +0100
Subject: [PATCH] activate extglob

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 360a6bc..f2a3e62 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,6 +4,7 @@ pages:
   - 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";
     done
+  - shopt -s extglob
   - mv !(public) public
   artifacts:
     paths:
-- 
2.18.1