From 27f9e6fd2f9355c81f53ad0c2083e342eb7f7865 Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Mon, 25 Mar 2019 10:30:49 +0100
Subject: [PATCH] [HTML] Building index (stupid me!!!!)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e70395f..937b251 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,7 +12,7 @@ pages:
         mv ${file%.*}.html public/`dirname ${file}`/;
     done
   - cat html_src_files.lst | sed 's|^./|- file:./|' > index.org
-  - pandoc pandoc -s -f org -t html -o public_html/index.html index.org
+  - pandoc -s -f org -t html -o public_html/index.html index.org
   artifacts:
     paths:
     - public
diff --git a/gitlab-ci.org b/gitlab-ci.org
index 811b136..7b92ecc 100644
--- a/gitlab-ci.org
+++ b/gitlab-ci.org
@@ -77,7 +77,7 @@ pages:
         mv ${file%.*}.html public/`dirname ${file}`/;
     done
   - cat html_src_files.lst | sed 's|^./|- file:./|' > index.org
-  - pandoc pandoc -s -f org -t html -o public_html/index.html index.org
+  - pandoc -s -f org -t html -o public_html/index.html index.org
   artifacts:
     paths:
     - public
-- 
2.18.1