From e8b10be819556ad5c031f5044a34bc771ea5c9ea Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Fri, 22 Mar 2019 17:38:53 +0100
Subject: [PATCH] Remove useless command as Benoit did earlier...

---
 .gitlab-ci.yml | 2 --
 gitlab-ci.org  | 2 --
 2 files changed, 4 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9960a6c..eded28d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,8 +11,6 @@ pages:
         mkdir -p public/`dirname ${file}`;
         mv ${file%.*}.html public/`dirname ${file}`/;
     done
-  - shopt -s extglob
-  # - mv !(public) public
   artifacts:
     paths:
     - public
diff --git a/gitlab-ci.org b/gitlab-ci.org
index 84a0e77..38859bd 100644
--- a/gitlab-ci.org
+++ b/gitlab-ci.org
@@ -76,8 +76,6 @@ pages:
         mkdir -p public/`dirname ${file}`;
         mv ${file%.*}.html public/`dirname ${file}`/;
     done
-  - shopt -s extglob
-  # - mv !(public) public
   artifacts:
     paths:
     - public
-- 
2.18.1