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..ec66904b419c857fb194a38daf47e1a5b4677bb1 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: @@ -33,7 +32,6 @@ def main(): if Path.exists(mkdocsyaml): docs_path = Path.joinpath(scriptpath, "../", "docs") - # print(docs_path) with open(mkdocsyaml, "r") as file: c = file.readlines()