--- rpl/autogen.sh	2019/07/16 08:31:46	1.6
+++ rpl/autogen.sh	2019/07/16 15:17:16	1.7
@@ -102,7 +102,7 @@ ident ( ) {
     fi
 
     # extract version from CVS Id string
-    __id="$Id: autogen.sh,v 1.6 2019/07/16 08:31:46 bertrand Exp $"
+    __id="$Id: autogen.sh,v 1.7 2019/07/16 15:17:16 bertrand Exp $"
     __version="`echo $__id | sed 's/.*\([0-9][0-9][0-9][0-9]\)[-\/]\([0-9][0-9]\)[-\/]\([0-9][0-9]\).*/\1\2\3/'`"
     if [ "x$__version" = "x" ] ; then
 	__version=""