#!/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 == LaTeX ==
latex "$f"                                   || exit $?
echo
echo
echo == dvips "$n".dvi ==
dvips -t a4 "$n".dvi                         || exit $?
echo
echo
echo == pdf2ps "$n".ps  ==
ps2pdf -dPDFSETTINGS=/prepress "$n".ps       || exit $?
echo
echo
echo == done ==