From: Glenn Morris <rgm@gnu.org>
Date: Fri, 8 Feb 2008 20:29:53 +0000 (+0000)
Subject: (check-info-dir): New target.
X-Git-Tag: emacs-pretest-23.0.90~8073
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=737e2b960a83eee440d450710a5a43a2feec7baa;p=emacs.git

(check-info-dir): New target.
---

diff --git a/ChangeLog b/ChangeLog
index e4b8d1bc71d..de1023d3b0f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-02-08  Glenn Morris  <rgm@gnu.org>
+
+	* Makefile.in (check-info-dir): New target.
+
 2008-02-08  Michael Olson  <mwolson@gnu.org>
 
 	* Makefile.in (INFO_FILES): Add epa.
diff --git a/Makefile.in b/Makefile.in
index 045a1e26894..8adddf4df5a 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -779,6 +779,24 @@ info: force-info
 	-(cd doc/misc; $(MAKE) $(MFLAGS) info)
 	-(cd doc/lispref; $(MAKE) $(MFLAGS) info)
 	-(cd doc/lispintro; $(MAKE) $(MFLAGS) info)
+
+# The info/dir file must be updated by hand when new manuals are added.
+check-info-dir: info
+	cd info ; \
+	missing= ; \
+	for file in *; do \
+	  test -f "$${file}" || continue ; \
+	  case $${file} in \
+	    *-[0-9]*|COPYING|dir) continue ;; \
+	  esac ; \
+	  grep -q -F ": ($${file})." dir || missing="$${missing} $${file}" ; \
+	done ; \
+	if test -n "$${missing}"; then \
+	  echo "Missing info/dir entries: $${missing}" ; \
+	  exit 1 ; \
+	fi ; \
+	echo "info/dir is OK"
+
 dvi:
 	(cd doc/emacs; $(MAKE) $(MFLAGS) dvi)
 	(cd doc/misc; $(MAKE) $(MFLAGS) dvi)