Searched refs:docdir (Results 1 – 2 of 2) sorted by relevance
304 --docdir=*) quote_sh "-Ddocdir=$2" ;;
7 option('docdir', type : 'string', value : 'share/doc', string