#!/bin/sh -e
: ${digits:=3}
if [ "$#" != 2 ]; then
	echo >&2 usage: `basename $0` in.pdf out-prefix
	exit 1
fi
in="$1"; out="$2"
: ${start:=1}
mkdir -p "$out"
nice pdftoppm -f $start "$in" "$out/$out" &
pid=$!
N=$start
while true; do
	while ps -p $pid >/dev/null && [ ! -e "$out/$out-`printf %0${digits}d $[$N+1]`.ppm" ]; do sleep 5; done
	N4=`printf %0${digits}d $N`
	ppm="$out/$out-$N4.ppm"
	png="$out/$out-$N4.png"
	if [ ! -e "$ppm" ]; then
		break
	fi
	pnmtopng <"$ppm" >"$png"
	rm "$ppm"
	N=$[$N+1]
done
if [ -z "$nohtml" ]; then
	cd "$out"
	html-image-pages
fi