#! /bin/csh -f
# Last edited on 2001-07-05 23:00:11 by mc726

set usage = "$0" 

# Lista todos os pacotes 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* icons data html