diff options
| author | Glenn Morris <rgm@gnu.org> | 2008-02-08 20:29:53 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2008-02-08 20:29:53 +0000 |
| commit | 737e2b960a83eee440d450710a5a43a2feec7baa (patch) | |
| tree | a14632fe6d0aaedf90f3d1ca748761124bd89fd4 /Makefile.in | |
| parent | 1888e56807c6c18b1b86a379dc4b6f2f69ee4210 (diff) | |
| download | emacs-737e2b960a83eee440d450710a5a43a2feec7baa.tar.gz | |
(check-info-dir): New target.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 18 |
1 files changed, 18 insertions, 0 deletions
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) |