From d8d4151328c82feb482693438a9676a762afba15 Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Wed, 22 Feb 2023 13:09:21 +0100
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)

---
 doc.zih.tu-dresden.de/util/check-TOC-equals-page-headings.py | 2 +-
 1 file changed, 1 insertion(+), 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 97df2403e..16097c70a 100644
--- 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
@@ -1,4 +1,4 @@
-""" 
+""" #!/usr/bin/env python
 Check for consistency between TOC and page headings.
 Provide as an command line argument the path to the mkdocs.yml file.
 
-- 
GitLab