regen

diff --git a/configure b/configure
index 3fe288578c6acc40298a5308b810a7da07e3548f..5e4d0605622b33e6a0045789ee2f79f7944c2949 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
 #! /bin/sh
-# From configure.in Revision: 1.294.2.16.4.1 .
+# From configure.in Revision: 1.294.2.16.4.2 .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by GNU Autoconf 2.53.
 #