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

/barrelfish-2018-10-04/tools/
H A Drun-pdflatex.sh43 # echo "dirs: $WORKING_DIR, $JOB_NAME, $INPUT_TEX, $TEXINPUTS, $BIBINPUTS" \
48 -jobname "$JOB_NAME" \
134 JOB_NAME="${INPUT_BASE}.tmp"
137 AUX_FILE_WITHOUT_AUX="$WORKING_DIR/${JOB_NAME}"
138 AUX_FILE="$WORKING_DIR/${JOB_NAME}.aux"
139 OUT_FILE="$WORKING_DIR/${JOB_NAME}.out"
140 HST_FILE="$WORKING_DIR/${JOB_NAME}.hst"
141 LOG_FILE="$WORKING_DIR/${JOB_NAME}.log"
142 TOC_FILE="$WORKING_DIR/${JOB_NAME}.toc"
143 BBL_FILE="$WORKING_DIR/${JOB_NAME}
[all...]

Completed in 27 milliseconds