1 files changed, 3 insertions, 3 deletions
diff --git a/Configure b/Configure
index 1fb9e5f..cd1dd35 100755
--- a/Configure
+++ b/Configure
@@ -16,9 +16,9 @@
 # The dist package (which contains metaconfig) is available via SVN:
 #     svn co https://svn.sourceforge.net/svnroot/dist/trunk/dist
 
-# $Id: Head.U 6 2006-08-25 22:21:46Z rmanfredi $
+# $Id: Head.U 25 2008-05-28 11:19:25Z rmanfredi $
 #
-# Generated on Wed May 28 13:11:20 CEST 2008 [metaconfig 3.5-17]
+# Generated on Wed May 28 13:22:26 CEST 2008 [metaconfig 3.5-25]
 
 cat >c1$$ <<EOF
 ARGGGHHHH!!!!!
@@ -715,7 +715,7 @@ while test $# -gt 0; do
 	    esac
 	    shift
 	    ;;
-	-V) echo "$me generated by metaconfig 3.5-17." >&2
+	-V) echo "$me generated by metaconfig 3.5-25." >&2
 	    exit 0;;
 	--) break;;
 	-*) echo "$me: unknown option $1" >&2; shift; error=true;;