( muszi | 2009. 10. 06., k – 13:53 )

#! /bin/bash

LISTFILE="/path/to/listfile"
DESTDIR="/path/to/destdir"

declare -i cnt=1

while read filename; do
  pdfname="${filename%.*}.pdf"
  if [ -f "$pdfname" ]; then
    destname="$(printf "%04u.pdf" "$cnt")"
    echo "$pdfname -> $DESTDIR/$destname"
    cp -p "$pdfname" "$DESTDIR/$destname"
    cnt="$(($cnt+1))"
  fi
done < "$LISTFILE"

Disclaimer: fejbol irtam.