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

2021-12-14 03:08:37 +01:00
parent cea8deea72
commit 9de8eec3bc
1 changed files with 0 additions and 7 deletions
--- a/7
+++ b/7
@@ -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])