Searched refs:TOC_FILE (Results 1 - 1 of 1) sorted by last modified time

/barrelfish-2018-10-04/tools/
H A Drun-pdflatex.sh142 TOC_FILE="$WORKING_DIR/${JOB_NAME}.toc"
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
171 rm -f "$AUX_FILE" "$HST_FILE" "$LOG_FILE" "$TOC_FILE" "$BBL_FILE"

Completed in 40 milliseconds