From cef3c11812d7ca32413d76558d41f66f1e716a20 Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Mon, 13 Mar 2023 15:56:32 +0100
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)
---
doc.zih.tu-dresden.de/util/check-toc-equals-page-headings.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc.zih.tu-dresden.de/util/check-toc-equals-page-headings.py b/doc.zih.tu-dresden.de/util/check-toc-equals-page-headings.py
index e7d8c1693..75f85df08 100755
--- a/doc.zih.tu-dresden.de/util/check-toc-equals-page-headings.py
+++ b/doc.zih.tu-dresden.de/util/check-toc-equals-page-headings.py
@@ -12,7 +12,7 @@ from pathlib import Path
# {path/filename.md: [toc_heading, file_heading], ... }
TOCData = dict()
-whitelist = ["index.md","archive/"] # ["archive"]
+whitelist = ["index.md","archive/"]
def get_heading_in_file(filename, docs_path):
--
GitLab