Réponses:
Tout d'abord, installez imagemagick:
sudo apt-get install imagemagick
Ensuite, dans le dossier images, faites quelque chose comme:
convert *.png out.pdf
Peut-être que vous pouvez le faire convert * out.pdf
(je n'ai pas essayé celui-ci). Sinon, vous pouvez d'abord convertir d'autres images en png puis faire ci-dessus. Pour plus de détails, voir doc de la commande imagemagick convert.