Here's the proper fix instead of the hack of d28ce569fe233141f86fe516878361da01c9f9cb...

[mmh] / config / version.sh

diff --git a/config/version.sh b/config/version.sh
index 6257186..1ff7eed 100755 (executable)
--- a/config/version.sh
+++ b/config/version.sh
@@ -4,8 +4,6 @@
 #
 # You need to pass the script the version number to use.
 #
-# $Id$
-#
 
 if [ -z "$1" ]; then
     echo "usage: version.sh VERSION" 1>&2