#! /bin/csh
exec catman -M `pwd`
