From 0b4d5a020ec6e74817414cac9cdec817c3839c95 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Thu, 7 Oct 2021 14:34:49 +0200
Subject: [PATCH] remove special headers for subsections of handbook
---
.ci/generateIndex.py | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/.ci/generateIndex.py b/.ci/generateIndex.py
index eb4aaab8..15e4bf7a 100644
--- a/.ci/generateIndex.py
+++ b/.ci/generateIndex.py
@@ -138,10 +138,10 @@ for folder in cardDirs:
print(" > Generating header for: " + fileName)
# remove the previous header
- #if "handbook" in fileName:
- # remove_header(localroot, root, file, 10)
- #else:
- remove_header(localroot, root, file, 8)
+ if "handbook-annexes" in fileName or "handbook-additional" in fileName:
+ remove_header(localroot, root, file, 10)
+ else:
+ remove_header(localroot, root, file, 8)
# generate a permalink
permalink = "/" + root + "/"
--
GitLab