#!/bin/bash
## pdfplatex: support platex for TeXworks via dvipdfmx
PLATEX_OPTS="-kanji=utf8"
platex --help | egrep -q -e "^-synctex"
[ $? -eq 0 ] && PLATEX_OPTS="-synctex=1 ${PLATEX_OPTS}"
platex ${PLATEX_OPTS} $1 || exit 1
dvipdfmx -r 8000 $1 || exit 1