#! /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