* make-dist: Don't run "make --question info". (Bug#52322)

diff --git a/make-dist b/make-dist
index b069130ca61cc9618f2df9da19eee770db4f5d3f..db7a74b82b3900eec8cdc2583323065837a2016d 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -299,13 +299,6 @@ if [ $check = yes ]; then
     echo "${bogosities}"
   fi
 
-  ## This exits with non-zero status if any .info files need
-  ## rebuilding.
-  if [ -r Makefile ] && [ "$with_info" = "yes" ]; then
-      echo "Checking to see if info files are up-to-date..."
-      make --question info || error=yes
-  fi
-
   ## Is this a release?
   case $version in
       [1-9][0-9].[0-9])