#! /bin/csh -f
# Last edited on 2001-06-20 20:24:32 by mc726

set usage = "$0" 

# Lista todos os arquivos de fontes e dados que constam 
# do repositório central ( ~mc726/PUB/2001-1/now )

if ( $#argv != 0 ) then
  echo "\! bad arguments"
  echo "  usage: ${usage}"; exit 1
endif

set rep = "/home/spec/mc726/PUB/2001-1/now"

cd ${rep} && ls -1d pck*/*.java icons/*.gif icons/*.jpg data/*.??d