Searched refs:pdfdir (Results 1 – 1 of 1) sorted by relevance
858 pdfdir='${docdir}'1090 -pdfdir | --pdfdir | --pdfdi | --pdfd | --pdf | --pd)1091 ac_prev=pdfdir ;;1092 -pdfdir=* | --pdfdir=* | --pdfdi=* | --pdfd=* | --pdf=* | --pd=*)1093 pdfdir=$ac_optarg ;;1240 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \1405 --pdfdir=DIR pdf documentation [DOCDIR]