From d3b9858c3e9fc9b0336bf7c5c847b78a536501af Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Wed, 22 Jul 2020 15:30:13 +0200
Subject: [PATCH] set header for gdpr
---
.ci/generateIndex.py | 3 +++
1 file changed, 3 insertions(+)
diff --git a/.ci/generateIndex.py b/.ci/generateIndex.py
index 134a939c..37c0ffed 100644
--- a/.ci/generateIndex.py
+++ b/.ci/generateIndex.py
@@ -12,6 +12,9 @@ def build_link(title, href):
return f'\t\t\t<li><a href="{href}">{title}</a></li>\n'
def build_section_start(title):
+
+ title = title.replace("Gdpr", "GDPR")
+
return f'\n\t<div class="index-box">\n\t\t<h3>{title}</h3>\n\t\t<ul>\n'
def build_section_end():
--
GitLab