Lines Matching refs:infodir
54 infodir='${prefix}/info'
170 --infodir=DIR info documentation in DIR [PREFIX/info]
208 -infodir | --infodir | --infodi | --infod | --info | --inf)
209 ac_prev=infodir ;;
210 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
211 infodir="$ac_optarg" ;;
1774 s%@infodir@%$infodir%g
