OpenGrok

692 docdir
769 docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
771 htmldir='${docdir}'
772 dvidir='${docdir}'
773 pdfdir='${docdir}'
774 psdir='${docdir}'
848   -docdir | --docdir | --docdi | --doc | --do)
849     ac_prev=docdir ;;
850   -docdir=* | --docdir=* | --docdi=* | --doc=* | --do=*)
851     docdir=$ac_optarg ;;
1162 		oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1325   --docdir=DIR            documentation root [DATAROOTDIR/doc/font-alias]
1326   --htmldir=DIR           html documentation [DOCDIR]
1327   --dvidir=DIR            dvi documentation [DOCDIR]
1328   --pdfdir=DIR            pdf documentation [DOCDIR]
1329   --psdir=DIR             ps documentation [DOCDIR]
4412 /@docdir@/p
4418 *@datadir@*|*@docdir@*|*@infodir@*|*@localedir@*|*@mandir@*)
4425   s&@docdir@&$docdir&g

Indexes created Wed Aug 05 00:25:39 UTC 2026