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 e7d8c16930e3120683c35b225c417708e3778970..75f85df0821772480c0ce78336250921c3614a03 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):