Lines Matching refs:man
907 mandir='${datarootdir}/man'
1073 -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
1075 -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
1446 --mandir=DIR man documentation [DATAROOTDIR/man]
