Lines Matching refs:enable_docs
29699 if test "${enable_docs+set}" = set; then
29700 enableval=$enable_docs; build_docs=$enableval
39660 { { echo "$as_me:$LINENO: error: conditional \"ENABLE_DOCS\" was never defined.
39662 echo "$as_me: error: conditional \"ENABLE_DOCS\" was never defined.
Indexes created Sat Oct 24 00:25:45 UTC 2026