#! /bin/csh -f
#	version up record for HEADER

if ( $#argv != 1 ) then
  echo "Usage: vhvers VxxLxx"
  exit 1
endif

set xvers = $argv[1]

foreach dir (`cat LIBNAME`)
  cd $dir
  sed s\?V\[0-9\]\[0-9\]L..\?$xvers\? HEADER >! HEADER.new
  mv -f HEADER.new HEADER
  cd ..
end

