From 54e025a710f8c23738b7b56cd062083ad5a01d75 Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Fri, 22 Mar 2019 09:07:46 +0100
Subject: [PATCH] typo--

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

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