Lines Matching refs:have_doxygen
13728 have_doxygen=no
13730 have_doxygen=yes
13778 have_doxygen=yes
13784 have_doxygen=no
13790 if test "$have_doxygen" = yes; then
13804 have_doxygen=no
13814 if test "$have_doxygen" = yes; then
39499 { { echo "$as_me:$LINENO: error: conditional \"HAVE_DOXYGEN\" was never defined.
39501 echo "$as_me: error: conditional \"HAVE_DOXYGEN\" was never defined.
Indexes created Tue Apr 14 00:22:26 UTC 2026