1#!/bin/bash 2 3# Script to echo the current version number. 4# THIS IS THE ONLY PLACE A VERSION NUMBER SHOULD BE SPECIFIED 5 6# NB If you edit this, you will need to "make distclean" and then rebuild (./BUILD) as there is no dependency checking 7 8# Avoid '-' or '_' in the version as it confuses mkdeb. 9# Use dev or wip qualifier while working to a release. 10 11echo "0.5.1" 12