Searched refs:DEFAULT_OUT_DIR (Results 1 – 1 of 1) sorted by relevance
21 DEFAULT_OUT_DIR=$TMPDIR/docs24 OUT_DIR=$DEFAULT_OUT_DIR36 Output files are placed in $DEFAULT_OUT_DIR, unless --out-dir=<path>109 if [ "$OUT_DIR" != "$DEFAULT_OUT_DIR" ]; then