Merge branch 'develop' into 'master'

[release] Regular merge of develop

See merge request !183

.ci/generateIndex.py

@@ -9,12 +9,18 @@ def line_prepender(filename, line):
         f.write(line.rstrip('\r\n') + '\n' + content)
 
 def build_link(title, href):
+
+    # strip the number of the title
+    title = re.sub('[0-9.]', '', title).strip()
+
     return f'\t\t\t<li><a href="{href}">{title}</a></li>\n'
 
 def build_section_start(title, shortcut):
 
     title = title.replace("Gdpr", "GDPR")
-    title = title.replace("Handbook", "PI Handbook")
+    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("Covid 19", "COVID-19")
 
     return f'\n\t<div class="index-box" id="{shortcut}">\n\t\t<h3>{title}</h3>\n\t\t<ul>\n'
@@ -65,7 +71,7 @@ localroot = os.getcwd()
 
 
 # generate the index properly speaking
-cardDirs = ["internal", "external", "policies"]
+cardDirs = ["internal", "external", "policies", "handbook-general", "handbook-additional", "handbook-annexes"]
 sections = []
 
 # determine first the directories

.gitignore

@@ -38,3 +38,7 @@ policies
 env/.jekyll-cache/
 env/Gemfile.lock
 env/_site/
+handbook/
+internal/handbook:1-general
+internal/handbook:2-additional
+internal/handbook:3-annexes