From 4179d13dabb6a0ab6ef7746cb2b6207f2960cbde Mon Sep 17 00:00:00 2001
From: Vadim Zeitlin <vadim@wxwidgets.org>
Date: Mon, 28 Mar 2022 10:56:32 +0200
Subject: [PATCH] Fail the documentation build if there are any Doxygen
 warnings

Check for Doxygen warnings, that are, for the most part, actually
errors, to ensure that they don't creep back in after they were recently
fixed.
---
 .github/workflows/docs_update.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/docs_update.yml b/.github/workflows/docs_update.yml
index fbdb711354..0174d15281 100644
--- a/.github/workflows/docs_update.yml
+++ b/.github/workflows/docs_update.yml
@@ -30,6 +30,13 @@ jobs:
         working-directory: docs/doxygen
         run: |
           ./regen.sh php
+          if [[ -s doxygen.log ]]; then
+            echo '*** There were warnings during docs generation: ***'
+            echo '-----------------------------------------------------------'
+            cat doxygen.log
+            echo '-----------------------------------------------------------'
+            exit 1
+          fi
 
       - name: Upload
         if: github.ref == 'refs/heads/master'