fixup! Try updating OS, debugging info

tautschnig · tautschnig · commit dc367b0cf0c8 · 2025-01-13T14:36:51.000Z
diff --git a/doc/doxygen-root/doxygen-markdown/markdown.sh b/doc/doxygen-root/doxygen-markdown/markdown.sh
@@ -2,8 +2,6 @@
 
 set -euo pipefail
 
-set -vx
-
 BINDIR=$(dirname $(realpath ${BASH_SOURCE[0]}))
 FILES=$(find . -name '*.md')
 
