Repair + added archive ignoring

Repair + added archive ignoring (not the best variant but works)

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):