From 457abbda7547178f0865eb2cd18949cb7690cd78 Mon Sep 17 00:00:00 2001 From: laurentheirendt <laurent.heirendt@uni.lu> Date: Thu, 10 Dec 2020 17:58:14 +0100 Subject: [PATCH] set headers for hb --- .ci/generateIndex.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.ci/generateIndex.py b/.ci/generateIndex.py index b8b9f060..b9732dec 100644 --- a/.ci/generateIndex.py +++ b/.ci/generateIndex.py @@ -25,9 +25,8 @@ def build_link(title, href): def build_section_start(title, shortcut): title = title.replace("Gdpr", "GDPR") - title = title.replace("Handbook 1 general", "Handbook") - title = title.replace("Handbook 2 additional", "Handbook - PI/Supervisor specifics") - title = title.replace("Handbook 3 annexes", "Handbook - Annexes") + title = title.replace("Handbook additional", "Handbook - PI/Supervisor specifics") + title = title.replace("Handbook annexes", "Handbook - Annexes") title = title.replace("Covid 19", "COVID-19") return f'\n\t<div class="index-box noborderbox" id="{shortcut}">\n\t\t<h3>{title}</h3>\n\t\t<ul>\n' -- GitLab