PDF 縮小

2005年11月の 11/20 と同じ方法で PDFファイルのサイズを縮める。PDFファイル名は引数として取るようにして、シェルスクリプトにした。

#!/bin/sh
if [ -n "$1" ] ; then
    BASENAME=`basename $1 .pdf`


    pdftoppm $1 $BASENAME
    for p in *.ppm ; do
        convert -scale 50% $p $p.jpg
    done
    convert $BASENAME*.ppm.jpg "$BASENAME"_small.pdf
else
    echo I need a PDF filename.
fi