[Emacs-diffs] emacs-25 953bf67 1/2: Improve previous make-dist change

[Glenn Morris]

branch: emacs-25
commit 953bf67fbea6298cb68b7610fdc09c3fcdf8aeec
Author: Glenn Morris <address@hidden>
Commit: Glenn Morris <address@hidden>

    Improve previous make-dist change
    
    * make-dist: Let make check the info files more thoroughly.
---
 make-dist |    7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/make-dist b/make-dist
index 6182b49..31fa53a 100755
--- a/make-dist
+++ b/make-dist
@@ -281,6 +281,13 @@ if [ $check = yes ]; then
     echo "${bogosities}"
   fi
 
+  ## This exits with non-zero status if any .info files need
+  ## rebuilding.
+  if [ -e Makefile ]; then
+      echo "Checking to see if info files are up-to-date..."
+      make --question info || error=yes
+  fi
+
   [ $error = yes ] && exit 1
 fi