#!/bin/csh -f
#
# add a version name to the last rev. of all files.
if ($#argv != 1) then
   echo "usage: version <name>"
   exit 1
endif
set version=$1
foreach i (RCS/*,v)
	echo "naming $i"
	rcs -n${version}:`head -1 $i |awk '{print $2}' |sed -e s/\;//` $i
end
exit 0

