#!/usr/local/bin/bash

for filename in *.png; do
  convert "$filename" "${filename%.*}.pdf";
done