Searched refs:with_docdir (Results 1 – 3 of 3) sorted by relevance
16406 withval="$with_docdir"16407 docdir="\${prefix}/$with_docdir"
3574 docdir="\${prefix}/$with_docdir",
11597 withval="$with_docdir"