$Id: chmod_gw_webman.csh,v 1.1 2001/02/15 10:50:15 visitor2 Exp $

 original by visitor2 (S. Aigrain)


 csh shell script to allow another user to chgrp xmmssc and cmod g+w any
 file owned by webman (the program has the set group id bit turned on)

 Inputs:
 name of file whose permissions are to be modified

(See /home/xmmssc/soft/csh/chmod_gw_webman.csh)