Lines Matching refs:DOCDIR
1767 --htmldir=DIR html documentation [DOCDIR]1768 --dvidir=DIR dvi documentation [DOCDIR]1769 --pdfdir=DIR pdf documentation [DOCDIR]1770 --psdir=DIR ps documentation [DOCDIR]