From d5d4eb2634d3c50b9906e44c715e8050c1eb230d Mon Sep 17 00:00:00 2001
From: Axel Huebl <axel.huebl@plasma.ninja>
Date: Fri, 9 Dec 2022 13:53:50 -0800
Subject: [PATCH] Doxygen CI: Warnings as Error

Make sure that no Doxygen warnings get in, as we do in other
CI runs already.
---
 .github/workflows/source/doxygen | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/source/doxygen b/.github/workflows/source/doxygen
index 31356442e80..0bff224d71c 100755
--- a/.github/workflows/source/doxygen
+++ b/.github/workflows/source/doxygen
@@ -12,4 +12,8 @@
 set -eu -o pipefail
 
 cd Docs
+
+# treat all warnings as errors
+echo "WARN_AS_ERROR = YES" >> Doxyfile
+
 doxygen