#! /bin/bash
#
# $Id$
#
# Copyright (C) 2007 by Martin Thorsen Ranang
#
if [ -z "$RELEASE_FILE" ]; then
RELEASE_FILE=RELEASE
fi
if [ ! -f $RELEASE_FILE ]; then
PATH=$PATH:$(dirname $0)
increase_release
fi
release=$(cat $RELEASE_FILE)
echo -n $release