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

/barrelfish-2018-10-04/tools/
H A Drun-pdflatex.sh84 OUTPUT_PDF=
96 shift; OUTPUT_PDF="$1" ;;
114 if [ -z "$OUTPUT_PDF" ] ; then usage ; fi
176 mv "$PDF_FILE" "$OUTPUT_PDF"
177 echo "Output file is in $OUTPUT_PDF"

Completed in 29 milliseconds