From 641706e975f2e59fed210fde27f7e14a97d02b3c Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Mon, 6 Mar 2023 13:45:02 +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 03c0027fb..4ce26fbb4 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:
--
GitLab