Convert folder of images to PDF with filenames

convert_to_pdf.sh

#
# This batch file is specific to Linux.
#   (the for, mkdir, rm etc commands may be done differently on your OS.
#     the convert commands should be the same though)
#

rm /tmp/imageex -r
mkdir /tmp/imageex
for filename in *.png; do
	echo "Processing $filename"
	convert $filename -background White label:$filename -gravity Center -append -pointsize 14 /tmp/imageex/$filename.png
done
echo "Exporting to PDF..."
convert /tmp/imageex/*.png output.pdf
echo "Done."