#!/bin/bash
rm -f image*.pdf
while [ 1 ]
	do
	doc_gl_full
	read CONTINUE
	if [ $CONTINUE == 'n' ] ; then
		break
	fi
	done
pdfjoin_gs image*.pdf
mv out.pdf $1.pdf