#!/bin/csh -f
#
# Called from ./update-work-to-alpha, q.v.
#

if (! -e "../../work/$1/$2") then
    rmdir ../../alpha/$1/$2
    echo Removed ../../alpha/$1/$2/
endif
