--- a/configure	Sun Nov 30 13:29:35 2025 +0100
+++ b/configure	Sun Nov 30 13:55:12 2025 +0100
@@ -211,7 +211,7 @@
     fi
     if test -z "$DOXYGEN__initialized__"; then
         DOXYGEN__initialized__=1
-        DOXYGEN=`command -v doxygen`
+        DOXYGEN=`command -v doxygen || echo '/bin/false'`
     fi
     if test -z "$MKDIR__initialized__"; then
         MKDIR__initialized__=1