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 4ce26fbb41f3ae4c24fe7a9ec75bf3251823d2e6..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 @@ -32,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()