Merge branch 'develop' into 'master'

[release] Regular merge of develop

See merge request !209

.ci/generateIndex.py

@@ -11,13 +11,11 @@ def line_prepender(filename, line):
 def build_link(title, href):
 
     # strip the number of the title
-    if ('handbook-1-general' in href) or ('handbook-2-additional' in href) or ('handbook-3-annexes' in href):
+    if ('handbook' in href) or ('handbook-additional' in href) or ('handbook-annexes' in href):
         title = re.sub('[0-9.]', '', title).strip()
 
     # remove sym link reference in href
-    if ('handbook-1-general' in href):
-        href = href.replace('handbook-1-general', 'handbook').strip()
-    elif ('handbook-2-additional' 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()

.gitignore

@@ -39,6 +39,6 @@ env/.jekyll-cache/
 env/Gemfile.lock
 env/_site/
 handbook/
-internal/handbook-1-general
-internal/handbook-2-additional
-internal/handbook-3-annexes
+internal/handbook
+internal/handbook-additional
+internal/handbook-annexes