add

#!/bin/bash
#
# This is a utility called in the Makefile.  It's used together with
# the file "counter" to automatically increment release numbers.
#
a=`cat VERSION`
let a+=1
echo $a