Sukarabe's Easy Living

#!/bin/bash
#
# 使い方(Usage)
# mp2pdf foo.mp
#
# 0) 拡張子が mp でなければ何もせずに終了する。
# 1) 拡張子が mp のときは、jmpost を起動する。
#    jmpost により foo.1, foo.2, etc. の画像(PostScript file)が作られる。
# 2) foo.0 が存在すれば、それをプレビューするために、
#    foo.ps に複製し、ps2pdfにより、foo.pdf を作る。

# 必要ならば、パスを通す。

# ファイル名の設定
# infile=foo.mp のとき、basename=foo, fig_zero=foo.0, fig_ps=foo.ps
#
infile="$1"
basename=${infile%.mp} # infile の末尾に .mp があれば、それを除去した文字列になる(バグあり)
fig_zero="$basename.0"
fig_ps="$basename.ps"
fig_pdf="$basename.pdf"

if [ $basename = $infile ]   ## 一致するのは、ファイル名が .mp で終わらないとき
then
 echo "拡張子が mp ではありません"
 exit
fi

echo "MetaPost(日本語版) を起動します"
jmpost $infile
if [ -f $fig_zero ]; then ## foo.0 が存在する場合
 echo "$fig_zero からプレビュー画像 $fig_pdf を作成します"
 cp $fig_zero $fig_ps
 pstopdf $fig_ps
else
 echo "プレビュー画像はありません"
fi