From 9de8eec3bc9be2f6e7debf26159c1761c47df909 Mon Sep 17 00:00:00 2001
From: Stefan Kangas <stefan@marxist.se>
Date: Tue, 14 Dec 2021 03:08:37 +0100
Subject: [PATCH] * make-dist: Don't run "make --question info".  (Bug#52322)

---
 make-dist | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/make-dist b/make-dist
index b069130ca6..db7a74b82b 100755
--- a/make-dist
+++ b/make-dist
@@ -299,13 +299,6 @@ tempparent=
     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])
-- 
2.30.2