emacs-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

emacs-28 9de8eec: * make-dist: Don't run "make --question info". (Bug#52


From: Stefan Kangas
Subject: emacs-28 9de8eec: * make-dist: Don't run "make --question info". (Bug#52322)
Date: Mon, 13 Dec 2021 21:11:49 -0500 (EST)

branch: emacs-28
commit 9de8eec3bc9be2f6e7debf26159c1761c47df909
Author: Stefan Kangas <stefan@marxist.se>
Commit: Stefan Kangas <stefan@marxist.se>

    * 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 b069130..db7a74b 100755
--- 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])



reply via email to

[Prev in Thread] Current Thread [Next in Thread]