#! /bin/csh -f 
# Last edited on 2008-02-04 20:23:41 by stolfi

display "$1"*-[A-Z].pgm "$1"*-d[A-Z].pgm < /dev/null > /dev/null