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

/barrelfish-2018-10-04/tools/
H A Drun-pdflatex.sh119 INPUT_DIR=`dirname "$INPUT_TEX"`
120 INPUT_DIR=`readlink -f $INPUT_DIR`
122 TEXINPUTS=`cons_inputs "$TEXINPUTS" "$INPUT_DIR"`
123 BIBINPUTS=`cons_inputs "$BIBINPUTS" "$INPUT_DIR"`

Completed in 66 milliseconds