Searched refs:VER_FILE (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/tools/
H A Drun-pdflatex.sh145 VER_FILE="$WORKING_DIR/${JOB_NAME}.ver"
169 if [ -e "$TOC_FILE" -o -e "$BBL_FILE" -o -e "$VER_FILE" -o -e "$GLO_FILE" -o -e "$ACN_FILE" ]; then run_latex; fi
172 rm -f "$BLG_FILE" "$VER_FILE" "$OUT_FILE" "$GDE_FILE"

Completed in 61 milliseconds