From 88bcac01e922bc947e1aab0950b70ccff5cba3c5 Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Mon, 6 Mar 2023 13:45:15 +0100
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)
---
doc.zih.tu-dresden.de/util/check-toc-equals-page-headings.py | 1 -
1 file changed, 1 deletion(-)
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 4ce26fbb4..ec66904b4 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()
--
GitLab