fixup! Try updating OS, debugging info

diffblue · Jan 13, 2025 · dc367b0 · dc367b0
1 parent 7fa6793
commit dc367b0
Showing 1 changed file with 0 additions and 2 deletions.
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')