Revision 5258, 254 bytes checked in by munepi, 13 years ago (diff) | |
---|---|
|
Line | |
---|---|
1 | #!/bin/bash |
2 | ## pdfplatex: support platex for TeXworks via dvipdfmx |
3 | PLATEX_OPTS="-kanji=utf8" |
4 | platex --help | egrep -q -e "^-synctex" |
5 | [ $? -eq 0 ] && PLATEX_OPTS="-synctex=1 ${PLATEX_OPTS}" |
6 | platex ${PLATEX_OPTS} $1 || exit 1 |
7 | dvipdfmx -r 8000 $1 || exit 1 |