awk '{print $0; if (/PostScript/) {gsub(/.ps/, ".pdf"); gsub(/PostScript/, "PDF"); print }}' $*