Lines Matching refs:infodir
76 infodir='${prefix}/info'193 --infodir=DIR info documentation in DIR [PREFIX/info]231 -infodir | --infodir | --infodi | --infod | --info | --inf)232 ac_prev=infodir ;;233 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)234 infodir="$ac_optarg" ;;3252 s%@infodir@%$infodir%g