Lines Matching full:mandir
743 mandir
875 mandir='${datarootdir}/man'
1040 -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
1041 ac_prev=mandir ;;
1042 -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
1043 mandir=$ac_optarg ;;
1253 libdir localedir mandir
1415 --mandir=DIR man documentation [DATAROOTDIR/man]
10963 if test "$mandir" = '${prefix}/man' ; then
10964 { $as_echo "$as_me:${as_lineno-$LINENO}: result: ...and mandir defaults to /usr/share/man" >&5
10965 $as_echo "...and mandir defaults to /usr/share/man" >&6; }
10966 mandir=/usr/share/man
12201 /@mandir@/p'
12204 *@datadir@*|*@docdir@*|*@infodir@*|*@localedir@*|*@mandir@*)
12214 s&@mandir@&$mandir&g
