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 03c0027fbac26187266cafa88493402417911167..4ce26fbb41f3ae4c24fe7a9ec75bf3251823d2e6 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 @@ -16,7 +16,6 @@ whitelist = ["index.md"] # ["archive"] def get_heading_in_file(filename, docs_path): - # TODO join path filename # Read until first level one heading is found f = Path.joinpath(docs_path, filename) with open(f, "r") as file: