#!/bin/csh -f
setenv JGOFSDIR `pwd`