#!/bin/sh

#

# Build some image/snapshot of parts of the manual. The XML elements to shoot

# are specified by their unique identifier (@id)

#

basedir=`dirname $0`

dblatex="$basedir/../scripts/dblatex"

xsl="$basedir/getsubset.xsl"

if [ $# -lt 2 ]; then

  echo "`basename $0` file.xml id1 [id2 ...]"

  exit 1

fi

# The XML input file

file="$1"

shift

echo $*

for id in "$@"; do

  imgfile="img-$id"

  $dblatex -o $imgfile.pdf -P extractid=$id -p $xsl $file

  convert -units PixelsPerInch -density 144x144 -trim $imgfile.pdf $imgfile.png

  rc=$?

  if [ "$rc" = "0" ]; then

    echo "'$imgfile.png' successfully built"

    rm $imgfile.pdf

  fi

done