Lines Matching full:infodir
762 infodir
855 infodir='${datarootdir}/info'
999 -infodir | --infodir | --infodi | --infod | --info | --inf)
1000 ac_prev=infodir ;;
1001 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
1002 infodir=$ac_optarg ;;
1240 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1399 --infodir=DIR info documentation [DATAROOTDIR/info]
16723 /@infodir@/p
16728 *@datadir@*|*@docdir@*|*@infodir@*|*@localedir@*|*@mandir@*)
16736 s&@infodir@&$infodir&g
