#! /bin/sh 

FRONTEND=`echo $0 | cut -d2 -f1`
${FRONTEND}2tex $* -style ps_fonts -style pdf

FILE=$1
DIRNAME=`dirname $FILE`
EXT=`echo $FILE | awk 'BEGIN{FS="."} {print $NF}'`
BASENAME=`basename $FILE .$EXT`
dopdflatex $BASENAME
