distrib/sgi_53/share/catman