
# shell script to make a listing file..

for file in `echo $* | tr -s ' ' '\012' | sort`
do
  /bin/echo \\f >> LISTING
  echo adding $file...
  cat $file >> LISTING
done

# foreach file (`echo $* | tr -s ' ' '\012' | sort`)
  # /bin/echo \\f >> LISTING
  # echo adding $file...
  # cat $file >> LISTING
# end
