# HG changeset patch
# User Mike Becker <universe@uap-core.de>
# Date 1764507312 -3600
# Node ID f675a4e99fb5c9bed43087dac709d42fdd8e4b06
# Parent  5b24ad070bb08f8945ca05ba84a657ad5dcc8ce3
fix missing fallback for doxygen executable

diff -r 5b24ad070bb0 -r f675a4e99fb5 configure
--- 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
diff -r 5b24ad070bb0 -r f675a4e99fb5 make/project.xml
--- a/make/project.xml	Sun Nov 30 13:29:35 2025 +0100
+++ b/make/project.xml	Sun Nov 30 13:55:12 2025 +0100
@@ -12,7 +12,9 @@
         <var name="build_dir">\${root_dir}/build</var>
         <var name="docs_dir">\${root_dir}/build/docs</var>
         <var name="dist_dir">\${root_dir}/dist</var>
-        <var name="DOXYGEN" exec="true" option-help="path of the Doxygen executable">command -v doxygen</var>
+        <var name="DOXYGEN" exec="true" option-help="path of the Doxygen executable">
+            command -v doxygen || echo '/bin/false'
+        </var>
         <var name="MKDIR">/bin/mkdir -p</var>
         <var name="RMFILE">/bin/rm -f</var>
         <var name="RMDIR">/bin/rm -f -R</var>