Regenerated: autoconf configure.in
authordrepper <drepper>
Sun, 30 Nov 1997 05:40:03 +0000 (05:40 +0000)
committerdrepper <drepper>
Sun, 30 Nov 1997 05:40:03 +0000 (05:40 +0000)
configure

index 8417be4..b4e7aec 100755 (executable)
--- a/configure
+++ b/configure
@@ -1209,7 +1209,7 @@ else
 fi
 
 if test "$MAKEINFO"; then
 fi
 
 if test "$MAKEINFO"; then
-  if $MAKEINFO --version | grep 'Texinfo 3\.[1-9][1-9]' >/dev/null 2>&1
+  if $MAKEINFO --version | grep 'texinfo 3\.[1-9][1-9]' >/dev/null 2>&1
   then : # Makeinfo 3.11 or greater, works.
   else
     echo "configure: warning: 
   then : # Makeinfo 3.11 or greater, works.
   else
     echo "configure: warning: