Merge branch 'develop' into 'master'

[release] Regular merge of develop

See merge request !211

.ci/generateIndex.py

@@ -11,14 +11,14 @@ def line_prepender(filename, line):
 def build_link(title, href):
 
     # strip the number of the title
-    if ('handbook' in href) or ('handbook-additional' in href) or ('handbook-annexes' in href):
+    if ('handbook' in href):
         title = re.sub('[0-9.]', '', title).strip()
 
     # remove sym link reference in href
-    if ('handbook-2-additional' in href):
-        href = href.replace('handbook-2-additional', 'handbook').strip()
-    elif ('handbook-3-annexes' in href):
-        href = href.replace('handbook-3-annexes', 'handbook').strip()
+    if ('handbook-additional' in href):
+        href = href.replace('handbook-additional', 'handbook').strip()
+    elif ('handbook-annexes' in href):
+        href = href.replace('handbook-annexes', 'handbook').strip()
 
     return f'\t\t\t<li><a href="{href}">{title}</a></li>\n'
 
@@ -78,7 +78,7 @@ localroot = os.getcwd()
 
 
 # generate the index properly speaking
-cardDirs = ["internal", "external", "policies", "handbook-general", "handbook-additional", "handbook-annexes"]
+cardDirs = ["internal", "external", "policies"]
 sections = []
 
 # determine first the directories