More usual effects of a new configure.in

diff --git a/configure b/configure
index 8373b9414ae8c8bfeec272a54b786f5b5401bfe3..77ad0ab5b6217314470ecc290f939177536bd980 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 
-# From configure.in Revision: 1.51 
+# From configure.in Revision: 1.52 
 
 # Guess values for system-dependent variables and create Makefiles.
 # Generated automatically using autoconf version 2.12