# HG changeset patch
# User diego
# Date 1232926305 0
# Node ID 7f31bbff8ddbc835cf12fa242b15fd865e683fd1
# Parent  8461282f0eed613cff348de7823e13d7a3e52342
Drop dev- prefix from printed version number, just SVN-rXXXXX is enough.

diff -r 8461282f0eed -r 7f31bbff8ddb version.sh
--- a/version.sh	Sun Jan 25 22:52:00 2009 +0000
+++ b/version.sh	Sun Jan 25 23:31:45 2009 +0000
@@ -7,9 +7,9 @@
 test $svn_revision || svn_revision=`sed -n -e '/^dir$/{n;p;q;}' .svn/entries 2>/dev/null`
 test $svn_revision || svn_revision=UNKNOWN
 
-NEW_REVISION="#define VERSION \"dev-SVN-r${svn_revision}${extra}\""
+NEW_REVISION="#define VERSION \"SVN-r${svn_revision}${extra}\""
 OLD_REVISION=`cat version.h 2> /dev/null`
-TITLE="#define MP_TITLE \"%s dev-SVN-r${svn_revision}${extra} (C) 2000-2009 MPlayer Team\\\n\""
+TITLE="#define MP_TITLE \"%s SVN-r${svn_revision}${extra} (C) 2000-2009 MPlayer Team\\\n\""
 
 # Update version.h only on revision changes to avoid spurious rebuilds
 if test "$NEW_REVISION" != "$OLD_REVISION"; then