#! /bin/csh -f
if ( ! -f rev ) then
	echo 0 > rev
endif
if ( ! -f subrev ) then
	echo 0 > subrev
endif
set rev = `cat rev`
set subrev = `cat subrev`
set subrev = `/usr/bin/expr $subrev + 1`
echo $subrev > subrev
set host = `hostname`
date +"char vers[]="'"'"Version $rev.$subrev (%m/%d/%y %H:%M) $user@$host"'";'
