Lines Matching full:mandir
644 mandir
838 mandir='${datarootdir}/man'
989 -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
990 ac_prev=mandir ;;
991 -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
992 mandir=$ac_optarg ;;
1181 libdir localedir mandir
1341 --mandir=DIR man documentation [DATAROOTDIR/man]
15154 if test "$mandir" = '${prefix}/man' ; then
15155 echo "...and mandir defaults to /usr/share/man"
15156 mandir=/usr/share/man
15995 mandir!$mandir$ac_delim
16439 /@mandir@/p
16442 *@datadir@*|*@docdir@*|*@infodir@*|*@localedir@*|*@mandir@*)
16452 s&@mandir@&$mandir&g
