なんとなくシェルスクリプトを組んでみた。

tex2pdf

#!/bin/bash
if [ $# -ne 0 ]; then
    if [ -f $1 ]; then
        name=${1%.*}
        dvifile=${name}.dvi
        platex $1
        dvipdfmx $dvifile
    else
        echo "tex2pdf: $1: no such file"
    fi
else
    echo "tex2pdf: no input files"
fi

openでpdfを開くところまで入れようかどうしようか。
ラベル変えたときにdvipdfも二回通しちゃうのは良くないな。
platexでエラー出てたときだるいな。

液体の化学夏の学校でやっとヒットしてくれるようになりました。
今のところ４番目。

いつの間にか裳華房のページに載っていました。
リンクしときます。
http://www.shokabo.co.jp/keyword/wakateschool.html