From d83f23721fd7d2b422eafde252bb62eee328ceb5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20Gl=C3=A4ser?= <dennis.glaeser@iws.uni-stuttgart.de>
Date: Wed, 22 Mar 2023 16:52:16 +0100
Subject: [PATCH] [doxygen] rename .md filter script
---
doc/doxygen/Doxylocal | 4 ++--
.../{markdown-readme-header-filter.py => markdown-filter.py} | 0
2 files changed, 2 insertions(+), 2 deletions(-)
rename doc/doxygen/{markdown-readme-header-filter.py => markdown-filter.py} (100%)
diff --git a/doc/doxygen/Doxylocal b/doc/doxygen/Doxylocal
index 0280bef144..3ff0f2c241 100644
--- a/doc/doxygen/Doxylocal
+++ b/doc/doxygen/Doxylocal
@@ -18,8 +18,8 @@ TOC_INCLUDE_HEADINGS = 4
# Input filters run over content before it is parsed by Doxygen.
# - Format markdown math for Doxygen. See the documentation in
# `markdown-math-filter.pl` for details.
-FILTER_PATTERNS = *README.md="python3 @srcdir@/markdown-readme-header-filter.py -p Introduction -f" \
- *.md="python3 @srcdir@/markdown-readme-header-filter.py -f"
+FILTER_PATTERNS = *README.md="python3 @srcdir@/markdown-filter.py -p Introduction -f" \
+ *.md="python3 @srcdir@/markdown-filter.py -f"
FILE_PATTERNS = *.md,*.cc,*.hh
diff --git a/doc/doxygen/markdown-readme-header-filter.py b/doc/doxygen/markdown-filter.py
similarity index 100%
rename from doc/doxygen/markdown-readme-header-filter.py
rename to doc/doxygen/markdown-filter.py
--
GitLab