From dc1399f0d9ce16e376430f375d4454c72ba98660 Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Mon, 25 Mar 2019 22:09:25 +0100
Subject: [PATCH] [HTML] Frafile regexps...

---
 .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 7ee6224..d297b5a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ pages:
         mkdir -p public/`dirname ${file}`;
         mv ${file%.*}.html public/`dirname ${file}`/;
     done
-  - cat html_src_files.lst | sed -e 's|.md *#|.html|' -e 's|.org *#|.html|' -e 's|^./\([^ ]*\) *# *\([^ ]*\)|- [[./\1]]  (\2)|' > index.org
+  - cat html_src_files.lst | sed -e 's|.md *#|.html  #|' -e 's|.org *#|.html  #|' -e 's|^./\([^ ]*\) *# *\([^ ]*\)|- [[./\1]]  (\2)|' > index.org
   - pandoc -s -f org -t html -o public/index.html index.org
   artifacts:
     paths:
diff --git a/gitlab-ci.org b/gitlab-ci.org
index c0fb64d..9ccc2c4 100644
--- a/gitlab-ci.org
+++ b/gitlab-ci.org
@@ -19,7 +19,7 @@ pages:
         mkdir -p public/`dirname ${file}`;
         mv ${file%.*}.html public/`dirname ${file}`/;
     done
-  - cat html_src_files.lst | sed -e 's|.md *#|.html|' -e 's|.org *#|.html|' -e 's|^./\([^ ]*\) *# *\([^ ]*\)|- [[./\1]]  (\2)|' > index.org
+  - cat html_src_files.lst | sed -e 's|.md *#|.html  #|' -e 's|.org *#|.html  #|' -e 's|^./\([^ ]*\) *# *\([^ ]*\)|- [[./\1]]  (\2)|' > index.org
   - pandoc -s -f org -t html -o public/index.html index.org
   artifacts:
     paths:
-- 
2.18.1