HomeSort by: relevance | last modified time | path
    Searched refs:infodir (Results 1 - 6 of 6) sorted by relevancy

  /src/tools/host-mkdep/
configure 144 infodir='${prefix}/info'
250 -infodir | --infodir | --infodi | --infod | --info | --inf)
251 ac_prev=infodir ;;
252 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
253 infodir=$ac_optarg ;;
472 localstatedir libdir includedir oldincludedir infodir mandir
615 --infodir=DIR info documentation [PREFIX/info]
2299 s,@infodir@,$infodir,;t
    [all...]
  /src/tools/make/
configure 653 infodir
730 infodir='${datarootdir}/info'
874 -infodir | --infodir | --infodi | --infod | --info | --inf)
875 ac_prev=infodir ;;
876 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
877 infodir=$ac_optarg ;;
1115 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1274 --infodir=DIR info documentation [DATAROOTDIR/info
    [all...]
  /src/
Makefile 168 ${MAKEDIRTARGET} external/gpl2/texinfo/bin/install-info infodir-meta
  /src/lib/librumpuser/
configure 663 infodir
741 infodir='${datarootdir}/info'
885 -infodir | --infodir | --infodi | --infod | --info | --inf)
886 ac_prev=infodir ;;
887 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
888 infodir=$ac_optarg ;;
1126 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1285 --infodir=DIR info documentation [DATAROOTDIR/info
    [all...]
  /src/tools/compat/
configure 684 infodir
763 infodir='${datarootdir}/info'
905 -infodir | --infodir | --infodi | --infod | --info | --inf)
906 ac_prev=infodir ;;
907 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
908 infodir=$ac_optarg ;;
1155 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1315 --infodir=DIR info documentation [DATAROOTDIR/info
    [all...]
  /src/sys/external/isc/libsodium/dist/
configure 794 infodir
904 infodir='${datarootdir}/info'
1048 -infodir | --infodir | --infodi | --infod | --info | --inf)
1049 ac_prev=infodir ;;
1050 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
1051 infodir=$ac_optarg ;;
1289 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1448 --infodir=DIR info documentation [DATAROOTDIR/info
    [all...]

Completed in 1308 milliseconds