Lines Matching refs:build_devel_docs
29723 enableval=$enable_devel_docs; build_devel_docs=$enableval
29725 build_devel_docs=yes
29729 if test x$build_devel_docs = xyes; then
29739 { echo "$as_me:$LINENO: result: $build_devel_docs" >&5
29740 echo "${ECHO_T}$build_devel_docs" >&6; }
Indexes created Mon Apr 06 00:22:49 UTC 2026