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