#!/bin/sh
#
# $Id: cvssync,v 1.3 1998/07/18 14:39:43 lukeh Exp $
#

git pull origin

if [ -f version.h -o -f vers.c ]; then
# update version header
	vers_string -v
fi

vers_string

