#!/bin/csh -f

echo Making random list.

echo -n "" > dum

foreach f (*.pdf)
  echo -n $f "   "
  echo `random 10000` $f >> dum
end
echo " "

sort dum | awk '{print $2}' dumm | sed 's|.pdf||g' > rand.dum

