#!/bin/bash
## pdfplatex: support platex for TeXworks via dvipdfmx
platex -kanji=utf8 $1 || exit 1
dvipdfmx -r 1200 $1 || exit 1