#!/bin/bash

if [ -z "$1" ]; then
	echo "USAGE: "`basename "$0"`" <tex-file>"
	exit 1
fi

d=`dirname "$0"`
t="$d/target"
f=`realpath "$1"`

n=`basename "$f"`
n=${n%%.tex}

cd "$t"                                      || exit $?

echo
echo
echo == pdflatex ==
pdflatex "$f"                                   || exit $?
echo
echo
echo == done ==

