Searched refs:infodir (Results 251 – 275 of 39199) sorted by relevance
1...<<11121314151617181920>>...1568
11 infodir = @infodir@
17 infodir = @infodir@
85 if test "x$infodir" = 'x${datarootdir}/info'; then86 infodir='${prefix}/texmf-dist/doc/info'87 ac_configure_args="$ac_configure_args '--infodir=$infodir'" 195 infodir: $infodir
85 if test "x$infodir" = 'x${datarootdir}/info'; then86 infodir='${prefix}/texmf-dist/doc/info'87 ac_configure_args="$ac_configure_args '--infodir=$infodir'" 184 infodir: $infodir
92 echo 'infodir="'$infodir'"' >>$F136 echo ' --infodir) o="$o $infodir" ;;' >>$F179 echo ' --infodir) \$infodir $infodir' >>$F
30 infodir = @infodir@
17 infodir ?= @infodir@
28 infodir = @infodir@