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

/barrelfish-2018-10-04/tools/
H A Drun-pdflatex.sh143 BBL_FILE="$WORKING_DIR/${JOB_NAME}.bbl"
167 if [ -n "$HAS_BIB" ]; then (cd $WORKING_DIR && bibtex $JOB_NAME) && test -r $BBL_FILE || exit; echo run_latex; fi
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 48 milliseconds