#!/bin/csh

if ($#argv == 0) then
    echo "need n args: filenames with or without extension"
    exit(1)
endif

foreach f ($argv)
    util/proto $f:r
end
