Searched refs:INPUT_TEX (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" \
49 "$INPUT_TEX" #|| exit
82 INPUT_TEX=
94 shift; INPUT_TEX=$1 ;;
112 if [ -z "$INPUT_TEX" ] ; then usage ; fi
119 INPUT_DIR=`dirname "$INPUT_TEX"`
121 INPUT_BASE=`basename "$INPUT_TEX" .tex`

Completed in 25 milliseconds