diff --git a/.ci/generateIndex.py b/.ci/generateIndex.py index eb4aaab853c164cb9d272c882475e25ec08b5051..15e4bf7ab0ed7391c50ae646c7a7a6e4af66c55b 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 + "/"